Let $X$ be a D11: Set.
A D11: Set $\Pi \subseteq \mathcal{P}(X)$ is an intersection algebra on $X$ if and only if

(1)	$\Pi \neq \emptyset$
(2)	$\forall \, E, F \in \Pi : E \cap F \in \Pi$