Meet is Idempotent

Theorem
Let $\struct {S, \wedge, \preceq}$ be a meet semilattice.

Then $\wedge$ is idempotent.

Proof
Let $a \in S$ be arbitrary.

Then:

Hence the result.

Also see

 * Join is Idempotent