数学之分支代数拓扑学中，切除定理（）是关于相对同调的一个很有用的定理。给定拓扑空间 "X" 及其子空间 "A" 与 "U" 使得 "U" 也是 "A" 的子空间，此定理说在一定情形下，我们可将 "U" 从两个空间中切除使得空间偶 ("X","A") 与 ("X \ U","A \ U") 的相对同调群是同构的。这在奇异同调群的计算中很有用，在许多情形切除一个合适的子空间后更容易计算。或者，在许多情形，它使得可以应用归纳法。与同调中的长正合序列一起，我们可以导出计算同调群的另一个有用的工具。更确切地，如果