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

• scattered (s : Set X) : s.Nonempty → ∃ (x : ↑s), IsOpen {x}