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), and makes sense for any map formula_11, which need not be an inclusion map (despite the terminology).