===== Minimum function =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $X$ |
| @#55CCEE: context     | @#55CCEE: $\le$ ... non-strict partial order over $X$ |

| @#FFBB00: definiendum | @#FFBB00: $\mathrm{max}:X\times X\to X $ |
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{max}(x,y) := \begin{cases} x & \mathrm{if}\ x\le y\\\\ y & \mathrm{else}   \end{cases}$ |

==== Discussion ====
==== Parents ====
=== Context ===
[[Non-strict partial order]]
=== Element of ===
[[Binary operation]]
=== Related ===
[[Maximum function]]