半群の意味 | Babel Free

空でない集合 S とその上の二項演算 μ: S × S → S の組 (S, μ) について、μ が結合律を満たすもの。