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.