在数学的代数拓扑学中，艾伦伯格－斯廷罗德公理（英语：Eilenberg–Steenrod axioms）是拓扑空间的同调论的共有性质。符合这套公理的同调论的典型例子，是由塞缪尔·艾伦伯格和诺曼·斯廷罗德创建的奇异同调。

同调论可以定义为符合艾伦伯格－斯廷罗德公理的函子列。这个公理化方法在1945年创建，可以用来证明只要符合公理的同调论都会有的共同结果，例如迈耶－菲托里斯串行。

如果省略了其中的维数公理，那么其余的公理所定义的是广义同调论。最早出现的广义同调论是K-理论和配边理论。

In mathematics, specifically in algebraic topology, the Eilenberg–Steenrod axioms are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod.