En una aplicación inyectiva cada elemento imagen tendrá un único origen y una no sobreyectiva tendrá al menos un elemento del conjunto final que no tenga elemento origen.