そこまで、定義すれば成り立つかもしれません(個人的にその定義で、結合律をなどを成り立つのを証明できれば、ですけど。

8:11 AM

ん？成り立たない感がある。あとでちょっと確認してみますね。