Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
maximum_function [2013/08/06 13:35] nikolaj |
maximum_function [2013/08/06 13:36] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#88DDEE: $\le_X \in \text{Order}(X)$ | | | @#88DDEE: $\le_X \in \text{Order}(X)$ | | ||
- | | @#88DDEE: $\mathrm{max}\in\text{binaryOp}(X) $ | | + | | @#55EE55: $ \mathrm{max}$ | |
+ | | @#88DDEE: $\mathrm{max}\in\text{binaryOp}(X) $ | | ||
| @#55EE55: $ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ x\ge y\\\\ y & \mathrm{else} \end{cases}$ | | | @#55EE55: $ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ x\ge y\\\\ y & \mathrm{else} \end{cases}$ | | ||