Agar menjadi fungsi, suatu aturan tidak boleh memasangkan satu elemen domain dengan dua atau lebih elemen kodomain yang berbeda. Namun, kita telah melihat bahwa kebalikannya diperbolehkan: suatu fungsi dapat memasangkan elemen kodomain yang sama dengan dua atau lebih elemen domain yang berbeda. Ketika hal ini tidak terjadi (yaitu ketika setiap elemen kodomain merupakan citra dari paling banyak satu elemen domain), kita mengatakan bahwa fungsi tersebut satu-satu. Sekali lagi, istilah ini masuk akal: setiap elemen kodomain merupakan citra dari paling banyak satu elemen domain. Dengan kata lain, paling banyak satu masukan untuk setiap keluaran. Istilah matematis bagi fungsi satu-satu adalah injeksi. Fungsi satu-satu disebut fungsi injektif.