に書かれるから、その外微分の定義は単純形式の場合を線型に拡張することによって与えられる。