単位元

element）あるいは中立元（ちゅうりつげん, 英: neutral element）は、二項演算を備えた集合の特別な元で、ほかのどの元もその二項演算による単位元との結合の影響を受けない。 (M, ∗) を集合 M とその上の二項演算 ∗ のなすマグマとする。 M の元 e が ∗ に関する（両側）単位元であるとは、M