*"E"称为拉回丛或由"f"诱导的丛。映射formula_5是覆盖"f"的丛的一个态射。若丛"E" → "B"有结构群 "G"，其变换函数为"t"，则拉回丛"f"*"E"也有结构群"G"。"f"*"E"中的变换函数为若"E" → "B"是向量丛或主丛则拉回丛"f"*"E"也是同类的丛。在主丛的情况，"G"在"f"*"E"上的作用为因此，映射formula_5是右等变的，并定义了一个主丛间的态射。用范畴论的语言，拉回丛的构造是更一般的范畴拉回的一个例子。因此，它满足相应的泛性质。Sectio