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

• ultraconnected (s v : Set X) : IsClosed s → IsClosed v → s.Nonempty → v.Nonempty → (s ∩ v).Nonempty