omeo("F") 是 "G" 在空间 "F"上一个连续左作用（在连续范畴中，我们需有光滑流形上一个光滑作用）。不失一般性，我们取作用是有效的（ker(ρ) = 1）。"G" 在 "P" × "F" 上定义 "G" 的一个右作用为然后我们将这个作用等化得到空间 "E" = "P" × "F" = ("P" × "F") /"G"。将 ("p","f") 的等价类记为 ["p","f"]。注意到由 π(["p","f"]) = π("p")，定义投影映射 π : "E" → "X"。注意这是良定义的。