Cantor-Bendixson Derivative

An operation on a topological space (typically a closed subset of a Polish space) defined by iteratively removing isolated points to obtain the derived set; iterating transfinitely produces the perfect kernel and yields the Cantor-Bendixson rank.