Cantor–Bendixson theorem