Relasjonen er : Hvis og , så er . Relasjonen er : Hvis og , så er . Relasjonen er , slik at for to elementer og , så er enten eller .