Gruppe/Eindeutige Existenz des Inversen/Fakt/Name/Inhalt

Zu jedem ${}x\in G$ ist das Element ${}y\in G$ mit

${}x\circ y=e\,$

eindeutig bestimmt.