\left( \forall A \in \mathcal{F} \right) \left( \forall B \subseteq X \right) \left( B \subseteq A \Rightarrow B \in \mathcal{F} \right),