Cantor–Bendixson derivative