Meet is Commutative

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

Then $\wedge$ is commutative.

Proof
Let $a, b \in S$ be arbitrary.

Then:

Hence the result.

Also see

 * Join is Commutative