Una función es una relación entre un conjunto dominio X y un conjunto codominio Y, donde cada elemento x del dominio se asigna a un único elemento f(x) del codominio. Para que sea una función, debe cumplirse la unicidad, donde cada elemento del dominio solo tiene un elemento asignado en el codominio, y la existencia, donde cada elemento del dominio tiene un elemento asignado en el codominio.