为零的模型。这个条件等价于 formula_27 的上同调代数（视作带平凡导子的微分代数）本身即是 formula_27 的一个模型（虽然不必是"极小"的模型）。这意味着形式空间的有理同伦型相当容易计算。形式空间的例子有球面、H-空间、对称空间、紧凯勒流形等。楔积和直积都保有形式性；对于流行而言，连通和也保有形式性。另一方面，幂零流形几乎全非形式的：任意形式的紧幂零流形都是 formula_64 维环面。非形式的紧幂零流形最简单的例子是海森伯流形 formula_65，即海森伯群在其整系数矩阵子群上