La función se define como una correspondencia entre dos conjuntos A y B donde cada elemento de A se corresponde con un único elemento de B. El dominio es el conjunto de valores para los cuales la función está definida y la imagen es el conjunto de valores que alcanza la función. Existen diferentes tipos de funciones como las funciones inyectivas, sobreyectivas y biyectivas según si cada elemento de la imagen corresponde a como máximo un elemento del dominio, si el conjunto imagen coincide con el conjunto de llegada o si es a la vez inyectiva y sobreyectiva.