Cuando especifiquemos una función podremos escribir "f: A → B:: x ↦ y", lo que leeremos como "la función f de A en B que envía x en y".