Cantor Space satisfies all Separation Axioms

Theorem
Let $\left({\mathcal C, \tau_d}\right)$ be the Cantor set considered as a topological subspace of the real number space $\R$ under the Euclidean topology $\tau_d$.

Then $\mathcal C$ satisfies all the separation axioms.

Proof
We have that the Cantor set is a metric subspace of the real number space $\R$, and hence a metric space.

The result follows from Metric Space Fulfils All Separation Axioms.