半群
semigroup
結合法則の成り立つ
マグマ