对任意拓扑空间 formula_1 苏利文定义了一个可交换微分分次代数 formula_35，称为 formula_1 上有理系数的多项式微分形式的代数。大致地说，该代数上的元素对 formula_1 的每一个奇异单纯形赋予一个多项式微分形式、与面映射与退化映射兼容。通常情况下这个代数非常巨大（维数不可数），但常常可以替换成一个小得多的代数。更精确地说，与 formula_35 共享同一个苏利文极小模型的微分分次代数称为 formula_1 的一个模型，且对于单连通的空间 formula_1 确定了 fo