Äquivalenzrelation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine binäre Relation auf einer Menge, die reflexiv, symmetrisch und transitiv ist; sie zerlegt die Menge in disjunkte Äquivalenzklassen, deren Elemente für die Relation ununterscheidbar sind.