Una función en matemáticas es una relación entre un conjunto dominio X y un conjunto codominio Y, donde cada elemento x del dominio tiene asignado exactamente un elemento f(x) del codominio. Para que una relación sea una función, debe cumplir con las condiciones de unicidad, donde cada elemento del dominio tiene un único correspondiente en el codominio, y existencia, donde todos los elementos del dominio tienen un correspondiente en el codominio.