其中一个Eilenberg-Steenrod公理其中规定，如果是一个空间具有子空间 和使得集合闭包属于包含在，然后是包含地图 诱导同构.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“切除公理”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ExcisionAxiom.html
