Dominio e codominio di relazione

Nell'insieme delle coppie di una relazione R, il primo elemento di ogni coppia appartiene al dominio della relazione, il secondo elemento di ogni coppia appartiene al codominio della relazione.

Data una coppia (x, y), y si dice che è immagine di x, e x che è controimmagine di y. Dominio e codominio sono sottoinsiemi di altri insiemi. Ogni elemento del dominio ha un'immagine nel codominio, e ogni elemento del codominio ha una controimmagine nel dominio.

Nella figura, A e B sono due insiemi. Fra i due insiemi si è stabilita una relazione. D è incluso in A, ed è il dominio della relazione. C è incluso in B, che è il codominio della relazione.