Resulta trivial demostrar que esta función es inyectiva: "f": {2,4,5} → {1,2,3}: