数学は矛盾が無ければ何を定義としてもかまわないからな。
能動・受動の概念を使って乗法を定義しても、無矛盾なら何の問題もない。