微分形式は，『微小変化量』としてのdx,dyの中から，演算規則部分を抽出して形式化したものなんじゃないの？