Monoid/Invertierbar/Definition

Invertierbar

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

gibt.