Una funzione [math]f:X\longrightarrow Y[/math] si dice suriettiva se [b][i]ogni [/i][/b]elemento di [math]Y[/math] è corrispondente di [i][b]almeno[/b][/i] un elemento dell'insieme [math]X[/math]. Possiamo anche dire, in modo equivalente, che una funzione è suriettiva quando l'insieme delle immagini [math]Im\left(f\right)[/math] coincide con il codominio della funzione.[br][br]Graficamente ciò vuol dire che [i]ogni [/i]retta orizzontale tracciata sul piano cartesiano deve intersecare il grafico della funzione in [i]almeno [/i]un punto.