正合同伦序列(exact homotopy sequence)是同伦的重要性质之一。是联系(绝对)同伦与相对同伦的一种关系。伦型相同的拓扑空间所共有的性质称为同伦不变量。由于同胚的空间必同伦，故同伦不变量一定是拓扑不变量。代数拓扑学主要研究空间的同伦。相对同伦是同伦群的推广。同伦群(homotopy groups)是基本群的高维推广。基本群是从单位闭区间I到拓扑空间X的闭路的同伦等价类和其运算得到的。