 the collection is an atlas of trivializations formula_26).Consider the space formula_27 modulo the equivalence relation formula_28 is equivalent to formula_29 if and only if formula_30 and formula_31.By design, the local trivializations formula_32 give a fibrewise equivalence between this quotient space and the fibre bundle formula_22.