User:KBlott/Proofs

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.

An upper semilattice on a classical set is a semilattice.