Birebir fonksiyon
Matematikte birebir fonksiyon (injektif fonksiyon), eşitlikleri birbirine haritalayan bir fonksiyondur. f:X\longrightarrow Y, X'ten Y'ye giden bir fonksiyon olsun. Eğer her x_1,\, x_2\in X için f(x_1)=f(x_2) eşitliği x_1=x_2 eşitliğini gerektiriyorsa, yani X'in iki değişik elemanı Y'nin aynı elemanına gidemiyorsa, o zaman f fonksiyonuna birebir fonksiyon adı verilir.