Meet Semilattice is Semilattice

Theorem
Let $\left({S, \wedge, \preceq}\right)$ be a meet semilattice.

Then $\left({S, \wedge}\right)$ is a semilattice.

Proof
By definition of meet semilattice, $\wedge$ is closed.

The other three defining properties for a semilattice follow respectively from:


 * Meet is Commutative
 * Meet is Associative
 * Meet is Idempotent

Hence $\left({S, \wedge}\right)$ is a semilattice.

Also see

 * Join Semilattice is Semilattice