El dominio de definición de una función "f":"X"→"Y" se define como el conjunto "X" de todos los elementos "x" para los cuales la función "f" asocia algún "y" perteneciente al conjunto "Y" de llegada, llamado codominio.