Birebir örten fonksiyon

Birebir örten fonksiyon, bir kümenin her elemanını başka bir kümedeki farklı bir elemanla eşleştiren ve değer kümesinde açıkta eleman bırakmayan fonksiyondur.12

Birebir özelliği, tanım kümesindeki farklı elemanların görüntülerinin de farklı olmasını ifade eder. Örten ise değer kümesindeki her elemanın tanım kümesinden bir eşleşmesi olduğunu gösterir.34

Bu fonksiyonlar, hem tanım hem değer kümesi arasında birebir ve tam eşleşme sağlayarak ters fonksiyona sahip olabilir.5