_2覆盖formula_1，即formula_4，并且formula_5是非空且路径连通。取formula_5中的一点formula_7为各空间的基本群的基点。那么从formula_5到formula_9及formula_10的包含映射导出相应基本群的群同态：（以下省略基本群中的基点。）塞弗特－范坎彭定理指出formula_1的基本群，是formula_2的基本群的共合积：用范畴论来说，formula_16是在群范畴中图表的推出。这定理可以推广至formula_1的任意多个开子空间的覆盖：设当