同伦群(homotopy groups)是基本群的高维推广。基本群是从单位闭区间I到拓扑空间X的闭路的同伦等价类和其运算得到的。相对同伦(relative homotopy)是同伦群的推广。