Topologischer Raum/Reelles Geradenbündel/Definition