Fungsi injektif

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