Relazione Binaria

Dati due insiemi S e T una relazione binaria $\mathcal{R}$ fra essi è una coppia ordinata la cui prima coordinata sia il prodotto cartesiano $S \times T$ e la seconda coordinata sia un sottoinsieme $\mathcal{G}_{\mathcal{R}}$ di $S \times T$ detto grafico della relazione.
In simboli $\mathcal{R}=(S \times T,\mathcal{G}_{\mathcal{R}})$
Si dice che $x\in S$ e $y \in T$ sono in relazione secondo $\mathcal{R}$ e si scrive $x\mathcal{R}y$ se la coppia (x,y) appartiene a $\mathcal{G}_{\mathcal{R}}$