eine abgeschlossene und in sich dichte Teilmenge eines topologischen Raumes.

Dabei heißt M in sich dicht, wenn M in der Menge aller seiner Häufungspunkte enthalten ist.

Jeder topologische Raum, der dem zweiten Abzählbarkeitsaxiom genügt, ist Vereinigung einer perfekten und einer abzählbaren Menge (Satz von Cantor-Bendixson).