微分小をの第-成分を対応させる写像と見れば、写像としての等式