Fungsi Injektif
Dalam bidang matematik, fungsi injektif (juga dikenali sebagai hubungan satu-ke-satu ) ialah fungsi f yang memetakan elemen-elemen domainnya kepada unsur kodomainnya;
Iaitu, x1 ≠ x2 mengimplikasikan f(x1) ≠ f(x2) (juga dengan kontraposisi, f(x1) = f(x2) mengimplikasikan x1 = x2 ). Dalam erti kata lain, setiap elemen kodomain fungsi ialah imej at most 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, injective homomorphism juga dipanggil monomorphism . 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'.