>>81
>(-1)*(-1)全体で一つの無定義述語としてみるのはほとんど無理かと。

ということはA*B全体で一つの無定義述語としてみるのも無理なのでしょうか?
(A*Bは行列の積です)