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.