面之间有一个一一对应。具体地，纤维化 "B" → "B"/"H" 是 "B"/"H" 上一个主 "H"-丛。如果 σ : "X" → "B"/"H" 是一个截面，则拉回丛 "B" = σ"B" 是 "B" 的一个约化。
例子.向量丛的一些例子，特别是一个流形的切丛]]：
可积性.许多几何结构强于 "G"-结构；它们是具有一个可积性条件的 "G"-结构。从而这样一个结构要求一个结构群的约化（可能有阻碍，见下），但这不是充足的。这样的例子包括复结构、辛结构（相