Danke für die sprachliche Verschönerung meines Beispiels. Allerdings ist die Änderung der Definition so nicht sinnvoll. Für einen beliebigen topologischen Raum gibt es keine Teilraumtopologie, sondern nur die Topologie des Raumes. Teilmengen von topologischen Räumen haben eine Teilraumtopologie und werden so selbst zu topologischen Räumen. Ich hab das mal geändert. -- Cosine 14:48, 17. Dez. 2009 (CET)