("m", ∗)を集合 "m" とその上の二項演算 ∗ のなすマグマとする。