Topologie/Grundbegriffe/Umgebungen in topologischen Räumen/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Sei zunächst und . Dann ist selbst eine Umgebung von . Ist nun eine Umgebung von , so gibt es nach Definition eine Menge mit . Dann ist nach Axiom 3.

Zur bewiesenen Aussage