given a principal formula_1-bundle formula_16 over formula_12, a "reduction of the structure group" (from formula_1 to formula_3) is a "formula_3"-bundle formula_21 and an isomorphism formula_22 of the associated bundle to the original bundle.