In matematica il dominio e il codominio di una funzione sono gli insiemi su cui è definita la funzione, che associa ad ogni elemento del dominio uno e un solo elemento del codominio.