完全微分
一次元の場合に、微分形 A(x)dx が完全とは、A が原始函数(これは別に初等函数でなくてよい)を持つことに他ならない。すなわち、A が原始函数を持つとしてその原始函数を Q と書けば、A, Q は上記の完全性の定義条件を満たす。一方、A が原始函数を「持たない」なら、A(x)dx = dQ の形に書くことはできず、この微分形は不完全である。