Es seien X {\displaystyle {}X} und Y {\displaystyle {}Y} topologische Räume und φ : Y → X {\displaystyle {}\varphi \colon Y\rightarrow X} eine stetige Abbildung. Es sei p : V → X {\displaystyle {}p\colon V\rightarrow X} ein Vektorbündel über X {\displaystyle {}X} . Zeige, dass Y × X V {\displaystyle {}Y\times _{X}V} (siehe Aufgabe)
ist.