User:KBlott/Proofs

Max and Min are Semigroups The Max and Min Semigroups are Commutative The Max and Min Semigroups are Idempotent