Space S1 | Property P173

Discrete topology on a two-point set is Pseudoradial

Automatically deduced from the following:
Properties
Property Value
Discrete
Theorems
Id If Then
T274 Discrete LOTS
T66 LOTS GO-space
T216 GO-space Radial
T205 Radial Pseudoradial