Dada una función f, subconjunto del producto cartesiano de A x B; donde A es el dominio de f. y B su imagen, formada por los pares (a, b), relacionados por la función.