tion::::形式化定义.一个主"G"丛是一个纤维丛π : "P" → "X" ，及一个拓扑群"G"的连续右作用"P" × "G" → "P"，该作用保持"P"的纤维不变并在纤维上自由和推移式的作用。（经常会要求基空间"X"是豪斯多夫空间，还可能要求仿紧）。丛的抽象纤维取为"G"本身。由此可知，"G"作用的轨道正好就是π : "P" → "X"的纤维而轨道空间"P"/"G"和基空间"X"同胚。要求"G"在纤维上自由和推移的作用意味着纤维具有"G"-旋子的结构。一个"G"-旋子是同胚于"G"的空间但没