Fungsi Injektif

Fungsi injektif (injective function) atau fungsi satu-satu (one-to-one function) adalah fungsi yang setiap anggota kodomainnya memiliki paling banyak satu pasangan pada anggota domain.
Secara definisi:

yang ekuivalen secara kontraposisi dengan