Hubungan antara satu elemen dari suatu himpunan yang berkorespondensi tepat dengan satu elemen pada himpunan lain disebut fungsi satu-satu atau fungsi injektif. Dalam matematika, fungsi satu-satu memastikan bahwa setiap elemen dari himpunan pertama dipetakan ke elemen yang unik di himpunan kedua, tanpa ada dua elemen dari himpunan pertama yang dipetakan ke elemen yang sama di himpunan kedua. Konsep ini penting dalam berbagai bidang matematika seperti aljabar, kalkulus, dan teori himpunan.