Definition Sei M eine Menge und ∘:M×M⟶M eine auf M abgeschlossene Abbildungen. Dann heißt (M,∘) Magma. (N,+) ist ein Magma (N,:) nicht.