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