Dalam contoh-contoh di atas, Anda mungkin memperhatikan bahwa kadang-kadang terdapat elemen kodomain yang tidak termasuk dalam daerah hasil. Ketika hal semacam ini tidak terjadi (yaitu ketika semua elemen kodomain termasuk dalam daerah hasil), kita mengatakan bahwa fungsi tersebut merupakan fungsi pada atau bahwa fungsi tersebut memetakan domain pada kodomain. Istilah ini seharusnya masuk akal: fungsi tersebut menempatkan seluruh domain pada kodomain. Istilah matematis bagi fungsi pada adalah surjeksi, dan fungsi pada disebut fungsi surjektif.