Six∈A, llamamos a losy quef mapasx al valorf(x) def para argumentox. Las composiciones de las funciones inyectoras son inyectoras, y de las funciones suryectivas son su...Six∈A, llamamos a losy quef mapasx al valorf(x) def para argumentox. Las composiciones de las funciones inyectoras son inyectoras, y de las funciones suryectivas son suryectivas, y(f−1∘f) es la función de identidad. Sif:A\ptoB es parcial, decimos quef(x) está definido,f(x)\fdefined sif tiene un valor para argumentox, y de lo contrario decimos quef(x) es indefinido,f(x)\fundefined.
