Una funzione [math]f:X\longrightarrow Y[/math] si dice [b][i]iniettiva [/i][/b]se [b][i]ogni [/i][/b]elemento di [math]Y[/math] è immagine [i][b]al più [/b][/i]di un elemento di [math]X[/math].[br][br]Graficamente ciò vuol dire che se ipotizziamo di tracciare una qualsiasi retta orizzontale sul piano cartesiano questa deve intersecare il grafico della funzione al [i]massimo [/i]in un punto.

nel grafico sotto abbiamo riportato la funzione [math]y=2^x[/math] (col colore verde), la funzione si dirà iniettiva se una qualsiasi retta [math]y=k[/math] interseca questa funzione al massimo in un solo punto.