Join is Associative

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Then $\vee$ is associative.


Proof

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

Then:

\(\ds a \vee \paren {b \vee c}\) \(=\) \(\ds a \vee \sup \set {b, c}\) Definition of Join (Order Theory)
\(\ds \) \(=\) \(\ds \sup \set {\sup \set a, \sup \set {b, c} }\) Supremum of Singleton
\(\ds \) \(=\) \(\ds \sup \set {a, b, c}\) Supremum of Suprema
\(\ds \) \(=\) \(\ds \sup \set {\sup \set {a, b}, \sup \set c}\) Supremum of Suprema
\(\ds \) \(=\) \(\ds \sup \set {a, b} \vee c\) Supremum of Singleton
\(\ds \) \(=\) \(\ds \paren {a \vee b} \vee c\) Definition of Join (Order Theory)

Hence the result.

$\blacksquare$


Also see




Sources