Relasjonen er refleksiv, slik at for alle i mengden . Relasjonen er symmetrisk, slik at medfører . Relasjonen er transitiv, slik at og medfører .