Differences

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

Link to this comparison view

Both sides previous revision Previous revision
minimum_function [2014/02/22 19:48]
nikolaj
minimum_function [2014/03/21 11:11] (current)
Line 1: Line 1:
 ===== Minimum function ===== ===== Minimum function =====
 ==== Set ==== ==== Set ====
-| @#88DDEE: $X$ | +| @#55CCEE: context ​    | @#55CCEE: $X$ | 
-| @#88DDEE: $\le$ ... non-strict partial order over $X$ |+| @#55CCEE: context ​    | @#55CCEE: $\le$ ... non-strict partial order over $X$ |
  
-| @#FFBB00: $\mathrm{max}:​X\times X\to X $ | +| @#FFBB00: definiendum ​| @#FFBB00: $\mathrm{max}:​X\times X\to X $ | 
-| @#FFBB00: $ \mathrm{max}(x,​y) := \begin{cases} x & \mathrm{if}\ x\le y\\\\ y & \mathrm{else} ​  ​\end{cases}$ |+| @#FFBB00: definiendum ​| @#FFBB00: $ \mathrm{max}(x,​y) := \begin{cases} x & \mathrm{if}\ x\le y\\\\ y & \mathrm{else} ​  ​\end{cases}$ |
  
 ==== Discussion ==== ==== Discussion ====
Link to graph
Log In
Improvements of the human condition