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