Las funciones inyectivas no repiten las imágenes: si "b" = "f"("a"), ningún otro "a' "tiene por imagen a "b", por lo que la anti-imagen de este último sólo contiene al elemento "a".