Verknüpfung/Neutrales Element/Definition

Neutrales Element

Es sei eine Menge ${}M$ mit einer Verknüpfung

$\circ \colon M\times M\longrightarrow M,\,(x,y)\longmapsto x\circ y,$

gegeben. Dann heißt ein Element  ${}e\in M$  neutrales Element der Verknüpfung, wenn für alle  ${}x\in M$  die Gleichheit  ${}x\circ e=x=e\circ x$  gilt.