Axiom:Semilattice Axioms

Axiom
A semilattice is an algebraic structure which satisfies the following axioms: