Category:Join Operation

This category contains results about Join Operation in the context of Order Theory.

Let $\struct {S, \preceq}$ be an ordered set.

Let $a, b \in S$.

Let their supremum $\sup \set {a, b}$ exist in $S$.

Then the join of $a$ and $b$ is defined as:

$a \vee b = \sup \set {a, b}$