>>233
細かくいえば
1★2(1☆3)
=1☆2^{-1(1☆3)
=(1☆2^{-1})☆3
=(1☆2^{-1})☆3
=(1☆3)☆3
=3☆3
=2
と計算するべきではある。
まあ、集合{0,1,..,3}の部分集合集合{1,2,3}は
☆の二項演算について1を単位元とする群になってるから
別にどっちでもいいとは思うが。