Kommutatives Monoid/Äquivalenzrelation/Verträglich/Definition

Mit Verknüpfung verträgliche Äquivalenzrelation

Man sagt, dass eine Äquivalenzrelation ${}\sim$ auf einem kommutativen Monoid ${}(M,0,+)$ mit der Verknüpfung verträglich ist, wenn aus ${}\mu \sim \nu$ und ${}\lambda \sim \kappa$ stets ${}\mu +\lambda \sim \nu +\kappa$ für alle ${}\mu ,\nu ,\lambda ,\kappa \in M$ gilt.