形式 formula_6 使得 formula_7，formula_6 称为关于 formula_1 的一个“本原”。因为 formula_10，所以恰当形式一定是闭形式，但闭形式是否为恰当形式并不显然。考虑一个闭形式是不是恰当的，可由不同的条件检测拓扑信息来得知。问一个 0-形式是否恰当没有意义，因为 formula_2 将阶数提高 1，不过可以规定恰当 0-形式就是零函数。当两个闭形式的差是一个恰当形式时，称它们为相互上同调的。这便是说，如果 formula_12 与 formula_13 是闭