"m" のそれぞれの点 "p" に対して "p" における余接ベクトル ξ"p" ∈ "t"*"p"("m")を、 "p" に関して連続的に与える対応のことを1次微分形式、あるいは、微分1形式などという。