Join is Idempotent

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

Then $\vee$ is idempotent.

Proof
Let $a \in S$ be arbitrary.

Then:

Hence the result.

Also see

 * Meet is Idempotent