閉微分形式
微分位相幾何学における微分形式が閉 (closed) である、または閉微分形式（へいびぶんけいしき、、短く閉形式 (closed form) とは、その外微分が零となるときに言う。
シュヴァルツの定理により、-函数係数の任意の完全微分形式は閉微分形式である。ポワンカレの補題はこの部分的な逆を保証する。