class PiBase.PseudoradialSpace (X : Type u) [TopologicalSpace X] : Prop

• radiallyClosed_isClosed ⦃s : Set X⦄ : IsRadiallyClosed s → IsClosed s