# Either-Or Topology is T4

## Theorem

Let $T = \struct {S, \tau}$ be the either-or space.

Then $T$ is a $T_4$ space.

## Proof

Follows from:

Either-Or Topology is $T_5$
$T_5$ Space is $T_4$ Space.

$\blacksquare$