切除公理

Eilenberg-Steenrod 公理之一，它指出，如果 是一個 空間，具有 子空間 和 使得 集合閉包 包含於 的內部，則 包含對映 誘導一個同構 。