$\{ \langle a,1 \rangle, \langle a,2 \rangle, \langle b,1 \rangle, \langle c,3 \rangle \}$ er en relasjon fra $\{a,b,c\}$ til $\{ 1,2,3,4 \}$.

$\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 2,4 \rangle, \langle 4,2 \rangle, \langle 4,4 \rangle \}$ er en relasjon på $\{1,2,3,4\}$.

Den universelle relasjonen på mengden $\{1,2,3\}$ er $\{ \langle 1,2 \rangle, \langle 2,3 \rangle, \langle 3,1 \rangle \}$.

Relasjonen $\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 1,3 \rangle, \langle 2,1 \rangle, \langle 3,1 \rangle, \langle 3,3 \rangle, \langle 4,4 \rangle \}$ på mengden $\{ 1,2,3,4 \}$ er refleksiv.

Relasjonen $\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 1,3 \rangle, \langle 2,1 \rangle, \langle 3,1 \rangle, \langle 3,3 \rangle, \langle 4,4 \rangle \}$ på mengden $\{ 1,2,3,4 \}$ er symmetrisk.

Relasjonen $\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 1,3 \rangle, \langle 2,1 \rangle, \langle 3,1 \rangle, \langle 3,3 \rangle, \langle 4,4 \rangle \}$ på mengden $\{ 1,2,3,4 \}$ er transitiv.

Relasjonen $\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 1,3 \rangle, \langle 1,4 \rangle \}$ på mengden $\{ 1,2,3,4 \}$ er anti-symmetrisk.

Relasjonen $\{ \langle 1,1 \rangle, \langle 1,2 \rangle, \langle 1,3 \rangle, \langle 1,4 \rangle \}$ på mengden $\{ 1,2,3,4 \}$ er irrefleksiv.

Likhetsrelasjonen på mengden av naturlige tall er en ekvivalensrelasjon.

Logisk konsekvens-relasjonen på mengden av utsagnslogiske formler er en ekvivalensrelasjon.

Logisk ekvivalens-relasjonen på mengden av utsagnslogiske formler er en ekvivalensrelasjon.

Logisk konsekvens-relasjonen er en partiell ordning.

Delmengde-relasjonen er en partiell ordning.

Større enn eller lik-relasjonen på reelle tall er en total ordning.

Større enn-relasjonen på heltall er en total ordning.

$\{ \langle 2,6,3,9,0 \rangle, \langle 3,3,4,7,5 \rangle, \langle 1,7,2,0,2 \rangle \}$ er en $5$-ær relasjon på mengden $\{0,1,2,3,4,5,6,7,8,9\}$.