Una funzione che ad ogni input associa un output differente si dice [b]iniettiva[/b]. Ossia ad ogni elemto del codominio corrisponde [u]al massimo[/u] una controimmagine.[br][br]Si definisce [b]suriettiva[/b] una funzione per cui ogni elemento dell'insieme di destinazione è controimmagine di un elemento dell'insieme di partenza (detto in altri termini: se l'insieme di destinazione coincide con il codominio).[br][br]Se una funzione è sia iniettiva che suriettiva si dice [b]biiettiva [/b]o [b]biunivoca[br][/b][br]La suriettività si può ottenere lasciando invariata la legge della funzione e cambiando solo l'insieme di destinazione, la condizione più importante per la biunivocità resta la prima, cioè l'iniettività, e quindi può essere "approssimata" con essa.