Discrete Space is Fully Normal

Theorem
Let $T = \left({S, \tau}\right)$ be a topological space where $\tau$ is the discrete topology on $S$.

Then $T$ is fully normal.

Proof
We have that a Discrete Space is fully $T_4$.

Then we note that from Discrete Space Satisfies All Separation Properties, a discrete space is a $T_1$ (Fréchet) space.

Therefore, by definition, $T$ is fully normal.