代数拓扑中的塞弗特－范坎彭（Seifert–van Kampen）定理，将一个拓扑空间的基本群，用覆盖这空间的两个开且路径连通的子空间的基本群来表示。
定理敍述.设formula_1为拓扑空间，有两个开且路径连通的子空间formula_2覆盖formula_1，即formula_4，并且formula_5是非空且路径连通。取formula_5中的一点formula_7为各空间的基本群的基点。那么从formula_5到formula_9及formula_10的包含映射导出相应基本群的