Maximum


THEOREM    \(x \ge y \Rightarrow max(x, y) = x\)
max_absorb1: 

Proof unavailable

THEOREM    \(x \le y \Rightarrow max(x, y) = y\)
max_absorb2: 

Proof unavailable

THEOREM   

Maximum is idempotent.

$$\max(x, x) = x$$

Proof available