这便是说，如果 formula_12 与 formula_13 是闭形式，且存在某个 formula_14 使得则我们说 formula_12 与 formula_13 是互相上同调的。恰当形式经常称为上同调于零。相互上同调的形式的集合组成了一个德拉姆上同调类中的一个元素；对这样的类作一般性研究称为上同调理论。formula_18 与 formula_18 上的微分形式已经为十九世纪的数学物理所熟知。在平面上，0-形式就是函数，2-形式是函数乘以基本面积元 formula_20，故只有 1-形式