As I responded on stackoverflow...
You can take the infinity/uniform norm of the corresponding tuple, which is defined as
$$\lim_{n \rightarrow \infty} (|x_1|^n + |x_2|^n + |x_3|^n + ...)^{\frac{1}{n}}$$
Or you can just have a maximum/infimum function... what exactly is your problem with using that?
Alternatively, you can define $f\mbox{ = max}$ recursively as
$$f(\{a_1,a_2,a_3,\cdots\}) = \begin{cases} a_1 & \mbox{if the sequence is singleton} \\ f(\{a_2,a_3,a_4,\cdots\}) & \mbox{if } a_1 \leq a_2 \\ f(\{a_1,a_3,a_4,\cdots\}) & \mbox{otherwise} \end{cases}$$
This can be made a lot nicer if you allow $f$ to be a two variable function with an accumulator.