Örten fonksiyon
Örten fonksiyon, matematikte, X kümesinden Y kümesine tanımlı bir f fonksiyonunda, X kümesindeki her x elemanı için Y kümesindeki y elemanlarının tamamının olduğu fonksiyon türü. Tanım kümesindeki elemanların tamamı, değer kümesindeki elemanların tamamıyla eşleştiği örten fonksiyonlarda, değer kümesi ile görüntü kümesi birbirine eşittir. Fransızcada "örtenlik" anlamına gelen surjection terimi, injection ("birebirlik") ve bijection ("birebir örtenlik") terimleriyle birlikte Nicolas Bourbaki tarafından ortaya atılmıştır.