This is an old revision of the document!


Minimum function

Set

$X$
$\le$ … non-strict partial order over $X$
$\mathrm{max}:X\times X\to X $
$ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ x\le y\\\\ y & \mathrm{else} \end{cases}$

Discussion

Parents

Context

Element of

Link to graph
Log In
Improvements of the human condition