Join Semilattice is Ordered Structure

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

Then $\struct {S, \vee, \preceq}$ is an ordered structure.

That is, $\preceq$ is compatible with $\vee$.

Also see

 * Meet Semilattice is Ordered Structure