Topologischer Raum/Reelles Vektorbündel/Untervektorbündel/Definition