一般位相多様体への応用の定式化は、ホモロジー論の方法に頼ることが多く、一方、微分可能多様体(differentiable manifold)への応用の定式化は、さらに構成が存在するため、微分形式のことばでの定式化する。