Definción. (Inyectividad)
Sea una función
, se dice que es inyectiva o uno a uno si y sólo si Usando contrapuesta en la implicación, esto es equivalente a
En ocasiones, la segunda es más útil. Suele denotarse
cuando es inyectiva.
Es útil intepretar la definición de inyectividad como se interpreta la segunda condición de la def. de función:
A cada elemento de
le corresponde uno y sólo uno de .
Definción. (Sobreyectividad)
Sea
una función, se dice que es sobre o suprayectiva si y sólo si Suele denotarse
.