配對公理的長正合序列

Eilenberg-Steenrod 公理之一。它指出，對於每一對 ，都存在一個自然的長正合序列

其中對映 是由包含對映 誘導的，而 是由包含對映 誘導的。對映 稱為邊界對映。