13.5. Definíció

Ekvivalenciareláció

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