Gitt en funksjon , definer relasjonen . Hva slags relasjon er dette?
Klikk for å snu kortet
Alltid en ekvivalensrelasjon (kalt kjernerelasjonen til ). Den arver refleksivitet, symmetri og transitivitet direkte fra likhetsrelasjonen paa .
Space / Enter for å snu