User:KBlott/Proofs

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