得 formula_14 水平提升的终点 formula_15 未必是 "p", 因为其可为 "x" 纤维上的另一点 "p"·"g". 若两点 "p" 和 "q" 之间有分段光滑的水平提升路径连接，则称 "p" ~ "q". 如此，~ 是 "P" 上的等价关系。"ω" 以 "p" 为基点的和乐群定义为若在定义中仅允许环圈 "γ" 的水平提升，则得到以 "p" 为基点的受限和乐群 formula_17. 其为和乐群formula_18 的子群。若 "M" 和 "P" 皆连通，则不同基点 "p" 的