Relassion
Dàit n'ansem E e n'antregh positiv m, na relassion m-aria con univers E a l'é 'n qualsëssìa sot-ansem .
Si la m-upla  a aparten a R, as dis ch'a sodisfa la relassion; dësnò ch'a la sodisfa pa.
L'antregh m a l'é ciamà larità dla relassion.
Cand che m=2, la relassion as dis binaria.

Si R a l'é na relassion su E e , as dis che  a l'e la restrission d' R a E.

Isomorfism 
Dàite dle relassion m-arie R e R'  con univers rispetiv E e E' , n'isomorfism antra R e ''R a l'é na bijession  tal che për qualsëssìa ,
.
S'a esist n'isomorfism antra R e R' , antlora le relassion R e R as diso isomorfe.
L'anvers ëd n'isomorfism a l'é n'isomorfism e la composission ëd doi isomorfism a l'é n'isomorfism.

 Isomorfism local 
N' isomorfism local antra R e R'  a l'é n'isomorfism antra na restrission dR a 'n sot-ansem finì ëd sò univers e na restrission d' R'  a 'n sot-ansem finì ëd sò univers.
 a l'é sempe n'isomorfism local antra doe relassion m-arie R e R'''.
Dle vire a l'é l'ùnich, për esempi si R a l'é na relassion binaria arflessiva e R na relassion binaria anti-arflessiva.

Teorìa dij modej