Min Operation is Idempotent

Theorem
The Max and Min operations are idempotent:


 * $$\max \left({x, x}\right) = x$$
 * $$\min \left({x, x}\right) = x$$

Proof
Follows immediately from the definitions of Max and Min.