Kommutatives Monoid/Relation/Kleinste verträgliche Äquivalenzrelation/Aufgabe

Es sei ${}R$ eine Relation auf einem kommutativen Monoid ${}M$. Zeige, dass es eine kleinste, mit der Verknüpfung verträgliche Äquivalenzrelation auf ${}M$ gibt, die ${}R$ umfasst.

Eine Lösung erstellen