Equivalentemente, para todo punto de B existe un entorno formula_14 y un homeomorfismo formula_15 tal que el siguiente diagrama conmuta: