的同构类）；这种代数对象是满足特定条件的有理数域上的可交换微分分次代数。有理同伦论的标准教材是。
有理空间.有理空间是所有同伦群皆为有理数域上的向量空间的单连通空间。若 formula_1 是单连通CW复形，则存在一个（在同伦等价的意义下唯一）有理空间 formula_2 以及映射 formula_3，使得 formula_4 诱导的所有同伦群的同态与 formula_5 取张量积后都是同构。此空间 formula_2 称作 formula_1 的有理化，同时也是 formul