This is an old revision of the document!
Maximum function
Definition
| $\ge\ \in\ \text{Order}(X)$ |
| $\mathrm{max}:X\times X\to X $ |
| $ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ x\ge y\\\\ y & \mathrm{else} \end{cases}$ |
Discussion
Context
Element of
