Nótese que el fibrado formula_83 no es más que la restricción del fibrado producto cartesiano a la diagonal formula_84 con la identificación formula_85.