Space S1 | Property P35

Discrete topology on a two-point set is Fully T4T_4

Automatically deduced from the following:
Properties
Property Value
Discrete
Theorems
Id If Then
T85 Discrete Completely metrizable
T77 Completely metrizable Metrizable
T264 Metrizable Pseudometrizable
T56 Pseudometrizable Fully normal
T42 Discrete T1T_1
T105 T1T_1 ∧ Fully normal Fully T4T_4