Dérivée de Cantor-Bendixson

Opération topologique (souvent appliquée à un fermé d'un espace polonais) consistant à enlever itérativement les points isolés pour obtenir l'ensemble dérivé ; l'itération transfine fournit le noyau parfait et définit le rang de Cantor-Bendixson.