This is an old revision of the document!
Maximum function
Definition
| $X$ |
| $\le$ … non-strict partial order over $X$ |
| $\mathrm{max}:X\times X\to X $ |
| $ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ y\le x\\\\ y & \mathrm{else} \end{cases}$ |
Discussion
Context
Element of
