Es común escribir la función "m" como un conjunto de pares ordenados {("a", "m"("a")) : "a" ∈ "A"}.