间 "X"上的（右）"G"-主齐性空间 "E"（"X"时一个概形／流形／拓扑空间，等等。）作为一个有自由（右）"G" 作用作用的空间"E"，满足如下映射（由下式给出）为在适当的范畴中的双射。当在光滑范畴中是双射。在"G"--主齐性空间（"G" 是李群）则是精确主"G" 丛。 主齐性空间在这个意义下和对应于上同调 "H"("X,G")中的对应的基。