Birebir fonksiyon, tanım kümesindeki her elemanın görüntüsü farklı olan fonksiyondur. Bir diğer ifadeyle, bir birebir fonksiyonda tanım kümesindeki birden fazla eleman değer kümesinde aynı elemanla eşlenmez. Formülsel olarak, f(x) = f(y) olduğunda, x = y olması gerekir; aksi takdirde, bire çok işlev olarak adlandırılır. Bir fonksiyonun birebir olabilmesi için gerekli koşullardan biri, tanım kümesinin eleman sayısının değer kümesinin eleman sayısına eşit ya da ondan küçük olmasıdır. Birebir fonksiyonlara örnek olarak, f(x) = x² kuralıyla tanımlanan ve yalnızca x ≥ 0 için geçerli olan g(x) = x² fonksiyonu verilebilir. Ayrıca, aşağıdaki web siteleri de birebir fonksiyon hakkında bilgi edinmek için faydalı olabilir: derspresso.com.tr; tr.wikipedia.org; cnnturk.com.