Kommutatives Monoid/Äquivalenzrelation/Verträglich/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Mit Verknüpfung verträgliche Äquivalenzrelation

Man sagt, dass eine Äquivalenzrelation auf einem kommutativen Monoid mit der Verknüpfung verträglich ist, wenn aus und stets für alle gilt.