 Let formula_17 be a fibre bundle with fibre formula_5.Let formula_19 be a collection of pairs formula_20 such that formula_21 is a local trivialization of formula_22 over formula_23.Moreover, we demand that the union of all the sets formula_24 is formula_25 (i.e.