Ensemble Dérivé

L'ensemble dérivé A' d'un sous-ensemble A d'un espace topologique X est l'ensemble de tous les points d'accumulation de A : les points p tels que tout voisinage de p rencontre A en un point différent de p lui-même. On peut itérer cette opération de manière transfinie (dérivée de Cantor–Bendixson).