Una relazione binaria è un sotto insieme del prodotto cartesiano di un insieme. Se $(a,b) \in R$ allora si dice che “a” è in relazione con “b”.
$$ aRb $$
$$ a \sim b $$
Sia $A=\{1,2,3\}$ e $R=\{(1,1),(2,2),(3,3),(1,2)\}$ su $A$. Allora $(1,2)\in R$ e si scrive $1 \sim 2$.