Un’applicazione f : A ® B si dice iniettiva se differenti elementi di A hanno distinte immagini, cioè

se a ¹ a₁ Þ f (a) ¹ f (a₁)

o, in modo equivalente,

Un’applicazione f : A ® B si dice suriettiva se ogni b Î B è l’immagine di almeno un a Î A.

Un’applicazione che è sia iniettiva che suriettiva si chiama biiettiva o biunivoca.