Monoid/Einheit/Definition

Einheit

Ein Element in einem Monoid heißt Einheit, wenn es ein Element mit

gibt.