行列自体は別の方法で定義されていて、演算はその後定義するもんだろ。
負×負は、負の数を定義する前に自然数の積が既にあるから紛らわしいが。