Una función se define teóricamente como una correspondencia que asigna a cada elemento de un conjunto dominio un único elemento del conjunto codominio. Prácticamente, una función se representa como una tabla de valores que mapea elementos del dominio a elementos del codominio. El ejemplo muestra una función definida entre los conjuntos A, B y C donde el dominio son los elementos de A y el codominio los elementos de B.