∀F1,F2∈ℱ(F1∩F2∈⟨ℱ⟩)