User:KBlott/Proofs


 * User:KBlott/Proofs/Max and Min
 * $\mathbb N + 1 = \lbrace 0, 1, 2, ...;\mathbb N \rbrace$.
 * Upper Semilattice on Classical Set is Semilattice.
 * User:KBlott/Proofs/Semilattice with Identity is an Idempotent Commutative Monoid