13.5. Definíció

Ekvivalenciareláció

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

♣