Reduction of the structure group

In mathematics, in particular the theory of principal bundles, one can ask if a principal -bundle over a group "comes from" a subgroup of . This is called reduction of the structure group (to ), and makes sense for any map , which need not be an inclusion map (despite the terminology).