class PiBase.CountableChainCondition (X : Type u_1) [TopologicalSpace X] : Prop

• countable_chain_condition ⦃S : Set (Set X)⦄ : S.PairwiseDisjoint id → (∀ s ∈ S, IsOpen s) → S.Countable