Örten fonksiyon

Örten fonksiyon, tanım kümesindeki elemanların tamamının değer kümesindeki elemanların tamamıyla eşleştiği fonksiyonlardır. Bu durumda fonksiyonun görüntü kümesi, değer kümesine eşit olur.^[2] Fonksiyonun, X tanım kümesindeki her bir x elemanının, Y değer kümesinde en az bir karşılığı vardır ve karşılığı olmayan bir y elemanı bulunmamaktadır. Sembolik olarak bu durum şu şekilde gösterilir:

${\displaystyle f\colon X\rightarrow Y}$  şeklinde tanımlı ${\displaystyle f}$  fonksiyonunun örten olması için

${\displaystyle \forall y\in Y,\,\exists x\in X,\;\;f(x)=y}$  olması gerekmektedir.

Örten fonksiyonlar zaman zaman, sağa bakan iki uçlu ok kullanılarak f : X ↠ Y şeklinde de gösterilebilmektedir.^[3]