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

• basically_disconnected (U : Set X) : IsCozero U → IsOpen (closure U)