Max and Min are Idempotent

From ProofWiki
Jump to navigation Jump to search

Theorem

Min Operation is Idempotent

The min operation operation is idempotent:

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


Max Operation is Idempotent

The max operation operation is idempotent:

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