(las únicas funciones inyectivas sin inversa van de la conjunto vacío a un conjunto no vacío, y no pueden ser "endo").