Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
maximum_function [2013/09/06 01:50]
nikolaj
maximum_function [2013/09/06 01:52]
nikolaj
Line 1: Line 1:
 ===== Maximum function ===== ===== Maximum function =====
 ==== Definition ==== ==== Definition ====
-| @#88DDEE: $\ge\ \in\ \text{Order}(X)$ |+| @#88DDEE: $X$ | 
 +| @#88DDEE: $\le$ ... non-strict partial order over $X$ |
  
 | @#FFBB00: $\mathrm{max}:​X\times X\to X $ | | @#FFBB00: $\mathrm{max}:​X\times X\to X $ |
-| @#FFBB00: $ \mathrm{max}(x,​y) := \begin{cases} x & \mathrm{if}\ ​x\ge y\\\\ y & \mathrm{else} ​  ​\end{cases}$ |+| @#FFBB00: $ \mathrm{max}(x,​y) := \begin{cases} x & \mathrm{if}\ y\le x\\\\ y & \mathrm{else} ​  ​\end{cases}$ |
  
 ==== Discussion ==== ==== Discussion ====
 ==== Context ==== ==== Context ====
 +=== Requirements ===
 +[[Non-strict partial order]]
 === Element of === === Element of ===
 [[Binary operation]] [[Binary operation]]
Link to graph
Log In
Improvements of the human condition