吸収元
厳密に、(S, ∗) を集合 S とその上の二項演算 ∗ の組(マグマまたは亜群と呼ばれるもの)とする。z がマグマ (S, ∗) の零元であるとは、S の任意の元 s に対して
z ∗ s = s ∗ z = z {\displaystyle z*s=s*z=z}
を満たすことをいう。さらに細かく、z ∗ s = z のみを課したものを左零元 (left zero) と呼び、右零元 (right zero) は s ∗ z = z のみを条件に課したものをいう。