generated at
半群
semigroup

結合法則の成り立つマグマ