w El conjunto de salida es aquel del cual salen las flechas que representan la relación.

w El conjunto de llegada es aquel al cual llegan las flechas que representan la relación.

w El dominio es el conjunto de los primeros elementos de cada par ordenado. De cada elemento del dominio sale por lo menos una flecha. El dominio es un subconjunto del conjunto de salida, ya que algunos elementos de la salida pueden no formar parte de la relación.

w El codominio es el conjunto de los segundos elementos de cada par ordenado. En una relación, a cada elemento del codominio llega por lo menos una flecha. El codominio es un subconjunto del conjunto de llegada, ya que algunos elementos de la llegada pueden no formar parte de la relación.