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

Beweis

Es 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.