Bu maddedeki bilgilerin doğrulanabilmesi için ek kaynaklar gerekli. (Şubat 2017) (Bu şablonun nasıl ve ne zaman kaldırılması gerektiğini öğrenin) |

Birebir örten fonksiyon (bijeksiyon fonksiyon), matematikte hem birebir hem örten fonksiyon özelliklerini aynı anda gösteren fonksiyonlardır. İki küme arasındaki fonksiyonda 1. kümeden her bir eleman ikinci kümedeki elemanla eşleşir ve her iki kümeden açıkta eleman kalmaz. Örten fonksiyon görüntü kümesinde boşta eleman kalmayacak şekilde eşleşmenin gerçekleştiği, birebir fonksiyon ise her bir elemanın diğer kümenin bir elemanıyla eşleştiği fonksiyondur. Birebir örten fonksiyonlar ise bu iki fonksiyonun özelliklerine aynı anda sahip olan fonksiyonlardır.
Birebir örten fonksiyonlar terslenebilir özelliktedir ve bu tip fonksiyonlara permütasyon ismi verilir.
"X" ve "Y" (burada Y nin X den farklı olmasına gerek yoktur) arasında bir eşleşme için bir dört nokta olmalıdır:
Bir futbol takımını ele alalım. Başlangıçta çeşitli pozisyonlarda 11 oyuncu sahaya çıkacaktır. Antrenör liste üzerinden yerleşimini yapar. Buna göre;
Bir sınıfta belli sayıda sandalye vardır. Bir grup öğrenci odaya girer ve öğretmen hepsine oturmasını söyler. Odaya hızlı bir şekilde baktıktan sonra, öğretmen, öğrenci grubu ile koltuk kümesi arasında sayıca eşitlik bulunduğunu ve burada her bir öğrencinin oturduğu koltuk ile eşleştirildiğini bildirir. Sonuç;
Birebir örten fonksiyonların ters fonksiyonu vardır ve buna tersinme özelliği denir.


Kısmi fonksiyonlar için birebir olmaları yeterli olmasından ötürü, her birebir örten fonksiyon aynı zamanda kısmi fonksiyondur. Bir tabandaki tüm kısmi birebir örten kümesine simetrik ters grup denir. Kısmi fonksiyonlar aynı tabandaki kümelerde olduğunda genellikle birebir kısmi dönüşümler (transformasyonlar) olarak adlandırılır. Bu tanıma bir örnek olarak, genişletilmiş karmaşık düzlemin tamamlanması yerine basitçe karmaşık düzlem üzerinde tanımlanan Möbius dönüşümü gösterilebilir.