いくつかの行列からなる空間 M に通常の行列の積で演算 M×M → M が
定まるにはMに属する行列は正方行列でないといけないが、これを三項にして
M×M×M → M を (A,B,C) → AB^*C で定めれば正方行列でなくてもいける。