Definition: Abgeschlossene Menge

Sei mit .

Wir bezeichnen als abgeschlossene Menge, falls das Komplement von eine offene Menge ist.

Das ist der Fall, wenn

Wenn es also für jedes aus eine offene Kugel gibt, die vollständig in liegt.