Un’applicazione f : A ® B si dice iniettiva se differenti elementi di A hanno distinte immagini, cioè
se a ¹ a1 Þ f (a) ¹ f (a1)
o, in modo equivalente,
f(a) = f (a1) Þ a = a1.
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.