Ableitungsmenge

Die Ableitungsmenge A' einer Teilmenge A eines topologischen Raums X ist die Menge aller Häufungspunkte von A: Punkte p, so dass jede Umgebung von p A in einem Punkt ungleich p trifft. Diese Operation kann transfinit iteriert werden (Cantor–Bendixson-Ableitung).