代数的構造をもたないと意味ないだろ。結合法則だけ成り立つとかマジ無意味。