Raum mit Halbmetrik/Offene Menge/Topologie/Fakt/Beweis/Aufgabe

Es sei eine Menge, die mit einer Halbmetrik versehen sei. Zeige, dass ein topologischer Raum ist.