Discrete topology on a two-point set is Pseudoradial

Automatically deduced from the following:
Discrete
Pseudoradial
Discrete ⇒ LOTSLOTS ⇒ RadialRadial ⇒ PseudoradialDiscreteLOTSRadialPseudoradial
Property Value
Discrete
Id If Then
274 Discrete LOTS
216 LOTS Radial
205 Radial Pseudoradial