Birebir örten fonksiyon
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.