一般拓扑学基础
《一般拓扑学基础》 · 第 231 页 · Section 10.1
A homology theory satisfies the homotopy axiom, exactness axiom, excision axiom, and dimension axiom: homotopic maps induce equal maps, each pair has a natural exact sequence, excisive subspaces may be removed, and a point has zero homology outside degree zero.