Kommutatives Monoid/Relation/Kleinste verträgliche Äquivalenzrelation/Aufgabe
Es sei eine Relation auf einem kommutativen Monoid . Zeige, dass es eine kleinste, mit der Verknüpfung verträgliche Äquivalenzrelation auf gibt, die umfasst.
Es sei eine Relation auf einem kommutativen Monoid . Zeige, dass es eine kleinste, mit der Verknüpfung verträgliche Äquivalenzrelation auf gibt, die umfasst.