ライプニッツの積公式により、ΔはどのようにXとYが拡大されたか（従って、M上のテンソルを定義するか）には実際依存しないことが分かる。
由莱布尼兹乘积法则，我们看出Δ事实上与X和Y如何扩张无关（所以定义了M上一个张量）。