Min Operation is Idempotent

Theorem
The Max and Min operations are idempotent:


 * $\map \max {x, x} = x$
 * $\map \min {x, x} = x$

Proof
Follows immediately from the definitions of Max and Min.