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