Relation binari

Un relation binariPatrono:LinfoX $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$.