User:KBlott/Proofs/Max and Min

Max and Min are Semigroups.
The Max and Min Semigroups are Commutative.
The Max and Min Semigroups are Idempotent.
The Max and Min Semigroups are Semilattices.
The Max function yields the supremum of its parameters.
The min function yields the infimum of its parameters.

Maintenance note: The above are split into multiple pages or otherwise redirected. Hence the links are invalidated. — Lord_Farin (talk) 08:30, 19 September 2013 (UTC)