塞弗特－范坎彭定理.回到拓扑，塞弗特－范坎彭定理回答了如下问题。假设我们有一个连通空间 "X"，被两个连通开空间 "A" 与 "B" 覆盖，它们的交 "D" 也是连通的（假设基点 * 在 "A" 的交中）。如果知道 "A" , "B" 与 "D" 的基本群，我们可以求出 "X" 的基本群吗？答案是肯定的。假设我们也知道包含同态 formula_3 与 formula_4 定理说空间 "X" 的基本群是这两个包含映射的推出。当然，"X" 是 "D" 到 "A" 与 "B" 的两个包含映射的推出。