Let $X$ be a D11: Set such that

(i)	$\mathcal{P}(X)$ is the D80: Power set of $X$

A D11: Set $\mathcal{B} \subseteq \mathcal{P}(X)$ is a Boolean algebra on $X$ if and only if

(1)	\begin{equation} \emptyset \in \mathcal{B} \end{equation}
(2)	\begin{equation} \forall \, E \in \mathcal{B} : X \setminus E \in \mathcal{B} \end{equation}
(3)	\begin{equation} \forall \, N \in 1, 2, 3, \ldots : \forall \, E_1, \ldots, E_N \in \mathcal{B} : \bigcup_{n = 1}^N E_n \in \mathcal{B} \end{equation}