マグマ (数学)
マグマ (M, μ) に対し、台となる集合 M の部分集合 N が M の演算 μ に関するマグマを成すならば、マグマ (N, μ) を M の部分マグマ(submagma)という。