∀X,ℱ(∅∈ℱ⇔∅∈⟨ℱ⟩X)