13.5. Definíció

Ekvivalenciareláció

Tegyük fel, hogy adott egy halmaz, és egy rajta értelmezett reláció. Amennyiben egyszerre reflexív, szimmetrikus és tranzitív, úgy -et az halmaz feletti ekvivalenciarelációnak hívjuk.