Siano S e T due insiemi (distinti o no).
Si dice corrispondenza o relazione tra S e T, rappresentata da G, la coppia $\displaystyle \Re =\left ( S\times T,\, G \right )$ , ove G è un qualunque sottoinsieme del prodotto cartesiano S x T.
G è l’insieme rappresentativo (o il grafico) della relazione $\displaystyle \Re$ e si dice che G rappresenta $\displaystyle \Re$.
Si dice dominio della relazione $\displaystyle \Re$ la parte non vuota di S costituita dalle prime coordinate degli elementi di G.
Si dice codominio della relazione $\displaystyle \Re$ la parte non vuota di T costituita dalle seconde coordinate degli elementi di G.
Una relazione $\displaystyle \Re$ definita in $\displaystyle S\times S=S^{2}$ si dice binaria in S.