generalising this idea to arbitrary principal bundles on topological spaces, one can ask if a principal formula_1-bundle over a group formula_1 "comes from" a subgroup formula_3 of formula_1. this is called reduction of the structure group (to formula_3).