同伦性是等价关系,不仅在代数拓扑中,在同调代数中也是非常重要的概念。链同伦就是同调代数中来自拓扑学的一个重要概念,是从一个给定的链复形的所有链映射之间的一种等价关系。若h微由f到g的一个链同伦,这时称f与g是同伦的。