# Differences

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

 maximum_function [2013/09/06 01:51]nikolaj maximum_function [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/06 01:52 nikolaj 2013/09/06 01:51 nikolaj 2013/09/06 01:50 nikolaj 2013/08/06 13:36 nikolaj 2013/08/06 13:35 nikolaj 2013/08/04 23:44 nikolaj 2013/08/04 20:45 nikolaj 2013/08/04 17:05 nikolaj 2013/08/04 17:02 nikolaj 2013/08/04 17:02 nikolaj created Next revision Previous revision 2013/09/06 01:52 nikolaj 2013/09/06 01:51 nikolaj 2013/09/06 01:50 nikolaj 2013/08/06 13:36 nikolaj 2013/08/06 13:35 nikolaj 2013/08/04 23:44 nikolaj 2013/08/04 20:45 nikolaj 2013/08/04 17:05 nikolaj 2013/08/04 17:02 nikolaj 2013/08/04 17:02 nikolaj created Line 1: Line 1: ===== Maximum function ===== ===== Maximum function ===== - ==== Definition ​==== + ==== 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}\ y\le x\\\\ y & \mathrm{else} ​ ​\end{cases}$ | + | @#FFBB00: definiendum ​| @#FFBB00: $\mathrm{max}(x,​y) := \begin{cases} x & \mathrm{if}\ y\le x\\\\ y & \mathrm{else} ​ ​\end{cases}$ | ==== Discussion ==== ==== Discussion ==== - ==== Context ​==== + ==== Parents ​==== + === Context === + [[Non-strict partial order]] === Element of === === Element of === [[Binary operation]] [[Binary operation]]