切除公理

Eilenberg-Steenrod 公理之一，它指出，如果 是一个 空间，具有 子空间 和 使得 集合闭包 包含于 的内部，则 包含映射 诱导一个同构 。