Se pueden definir, asociados a la relación, dos conjuntos: el dominio y la imagen de la misma, que serán subconjuntos del conjunto de partida y de llegada respectivamente.