Definisjon: Ekvivalensrelasjon
Test deg selv
Hvilke av disse binære relasjonene på $\{1, 2, 3\}$ er ekvivalensrelasjoner?
Denne relasjonen er ikke refleksiv, for $\langle 3, 3 \rangle$ er ikke et element i relasjonen.
Denne relasjonen er refleksiv, symmetrisk og transitiv, så den er en ekvivalensrelasjon.
Denne relasjonen er ikke symmetrisk. $\langle 3, 1 \rangle$ og $\langle 3, 2 \rangle$ måtte også vært elementer i relasjonen for at den skulle vært symmetrisk.
Denne relasjonen er refleksiv, symmetrisk og transitiv, så den er en ekvivalensrelasjon.