bundle map
Let and be fiber bundles for which there is a continuous map
of base spaces. A bundle map
(or bundle morphism) is a commutative square
such that the induced map is a homeomorphism (here denotes the pullback of along the bundle projection ).