El dominio de una función es el conjunto formado por todos los elementos del primer conjunto que se relacionan.
La imagen o codominio de una función son todos los elementos del conjunto de llegada que se relacionan con algún elemento del primero o conjunto de salida.
