Fungsi injektif

Dalam matematika, fungsi injektif () atau fungsi satu-satu () adalah sebuah fungsi  yang memetakan anggota yang berbeda ke anggota yang lain. Hal ini mengartikan bahwa  menyiratkan , dan juga berlaku untuk pernyataan kontrapositif:  menyiratkan .. Dengan kata lain, setiap anggota dari kodomain fungsi merupakan bayangan dari setidaknya satu anggota dari domain fungsi.

Definisi 
Misalkan  adalah sebuah fungsi, dan himpunan  adalah domainnya. Sebuah fungsi  dikatakan injektif asalkan untuk semua  dan  di , jika , maka . Hal ini mengartikan bahwa  menyiratkan , dan juga berlaku untuk pernyataan kontrapositif:  menyiratkan .

Secara matematis, dapat dituliskan sebagai

dan untuk pernyataan kontrapositif dapat ditulis sebagai

Catatan

Referensi 

 , p. 17 ff.
 , p. 38 ff.

Jenis fungsi
Fungsi matematika
Konsep dasar dalam teori himpunan