Una función es una asignación de un único elemento de un conjunto B (llamado codominio o rango) a cada elemento de un conjunto A (llamado dominio). Una función se denota f: A → B. El dominio son los valores que puede tomar el conjunto A y que encuentran correspondencia en B. El codominio/rango son los valores que puede tomar la función. Las funciones se pueden clasificar como inyectivas, suprayectivas o biyectivas dependiendo de si la asociación entre el dominio y codominio es única, si el codominio es igual al rango o si es ambas cosas