\begin{definition}[Definition:Finite Join Property]
Let $\struct {B, \vee, \wedge, \neg, \bot, \top}$ be a Boolean algebra.
Let $J \subseteq B$.
Then $J$ has the '''finite join property''' {{iff}}:
:$\forall x_1, x_2, \ldots \in J: x_1 \vee x_2 \vee \dots \vee x_n \ne \top$
Category:Definitions/Lattice Theory
\end{definition}