Join is Commutative

Theorem
Let $\struct {S, \vee, \preceq}$ be a join semilattice.

Then $\vee$ is commutative.

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

Then:

Hence the result.

Also see

 * Meet is Commutative