Fungsi Injektif

Dalam bidang matematik, fungsi injektif (juga dikenali sebagai hubungan satu-ke-satu Sometimes one-one function, in Indian mathematical education.  ) ialah fungsi   yang memetakan elemen-elemen domainnya kepada unsur  kodomainnya; 

Iaitu,  mengimplikasikan  (juga dengan kontraposisi,  mengimplikasikan  ). Dalam erti kata lain, setiap elemen kodomain fungsi ialah imej  satu elemen domainnya .  

Suatu homomorfisme antara struktur algebra ialah fungsi yang serasi dengan operasi struktur. Untuk semua struktur algebra biasa, dan, khususnya untuk ruang vektor,  juga dipanggil  . Walau bagaimanapun, dalam konteks teori kategori yang lebih umum, takrifan monomorfisme berbeza daripada homomorfisme injektif. 

Satu fungsi label  yang bukan injektif kadangkala dipanggil 'banyak-ke-satu. "Injective, Surjective and Bijective". Math is Fun. Retrieved 2019-12-07.

 Definisi 
Katakan suatu fungsi , dimana domainnya diwakili dengan suatu set  Fungsi  dikatakan sebagai fungsi injektif' jika semua unsur  dan  dalam set  jika  dan  ; iaitu,  mengimplikasikan  

Setara, jika  kemudian  dalam pernyataan kontrapositif .

Pernyataan tersebut boleh ditulis seperti ini: yang bersama dengan kontrapositif,   Fungsi injektif sering dilambangkan dengan menggunakan anak panah ↣ atau ↪ (sebagai contoh,  atau  ). 

 l