Cantor-Bendixson theorem