Este documento define una función como una relación que cumple dos condiciones: unicidad, donde cada punto del conjunto A solo corresponde a un punto único del conjunto B, y existencia, donde para cada elemento de A existe un elemento correspondiente en B.