# Components of Separation are Clopen

## Theorem

Let $T = \left({S, \tau}\right)$ be a topological space.

Let $A \mid B$ be a separation of $T$.

Then both $A$ and $B$ are clopen in $T$.

## Proof

$A = \complement_S \left({B}\right)$

and:

$B = \complement_S \left({A}\right)$

where $\complement_S$ denotes the complement relative to $S$.

As $A$ and $B$ are both open, it follows by definition that $A$ and $B$ are also both closed.

That is, by definition, they are clopen.

$\blacksquare$