恰当微分

一个 以下形式的 微分

(1)

是恰当的（也称为全微分），如果 是路径无关的。 这将成立，如果

(2)

因此 和 必须是 以下形式的

(3)

但是

(4)

(5)

所以

(6)

在统计热力学中尤其常见一种特殊的符号。 考虑一个恰当微分

(7)

那么符号 ，有时称为约束变量表示法，意思是“ 关于 的偏导数，其中 保持不变。” 稍微扩展这个符号可以得到恒等式

(8)

其中理解为在等式左边 被视为一个可以自身保持恒定的变量。