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.