Relation binari

Un relation binari $R$ inter duo insimules $A$ e $B$ es un subinsimul del producto cartesian $R\subseteq A\times B=\{(a,b)\mid a\in A,b\in B\}$.

Generalisate le par ordinate $(a,b)$ es un $n$-tupla con elementos ex $n$ insimules $A_{1},A_{2},\dots ,A_{n}$.