more abstractly, ""g"-bundles over "x"" is a functor in "g": given a map "h" → "g", one gets a map from "h"-bundles to "g"-bundles by inducing (as above). reduction of the structure group of a "g"-bundle "b" is choosing an "h"-bundle whose image is "b".