Cantor-Bendixson theorem

Any closed subset $X$ of the reals can be written as a disjoint union

$$X=C\cup P,$$

where $C$ is countable and $P$ is a perfect set (hence this theorem is also known as the CUP theorem).