Max and Min are Idempotent

From ProofWiki
Jump to navigation Jump to search

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.

$\blacksquare$