写像の微分
d(g ∘ f)x = dgf(x) ∘ dfx.
また、局所微分同相写像の微分は、接空間の間の線型同型となる。