ula_4 有意义，不必要求是包含（尽管使用了这个术语）。
定义.正式的，给定一个 "G"-丛 "B" 与映射 "H" → "G"（不必是包含），结构群的约化（从 "G" 到 "H"）是一个 "H"-丛 formula_5 使得推出formula_6 同构于 "B"。注意到这不一定存在，如果存在也不必惟一。作为一个实例，每个偶数维实向量空间是一个复向量空间的背景实空间：它有一个线性复结构。一个实向量空间有一个殆复结构当且仅当它是一个复向量丛的背景实丛。这是沿着包含 "GL