class PiBase.HasGδSingletons (X : Type u_1) [TopologicalSpace X] : Prop

• isGδ_singleton (x : X) : IsGδ {x}