数学中，特别是在主丛理论中，我们可问一个 formula_1-丛能否“来自”一个子群 formula_2。这称为结构群的约化（，约化为 formula_3），且对任何映射 formula_4 有意义，不必要求是包含（尽管使用了这个术语）。
定义.正式的，给定一个 "G"-丛 "B" 与映射 "H" → "G"（不必是包含），结构群的约化（从 "G" 到 "H"）是一个 "H"-丛 formula_5 使得推出 formula_6 同构于 "B"。注意到这不一定存在，如果存在也不