değer kümesi ile görüntü kümesi eşit olan, başka bir deyişle değer kümesinde boşta eleman kalmayan fonksiyonlara verilen isimdir. örnek
bir fonksiyonun tersinin olabilmesi için birebirlikle birlikte gerekli iki kriterden biridir. sebebi de basittir, fonskiyonun tersinde görüntü kümesinden tanım kümesine gidilir. (yani değer kümesi tanım kümesinin yerine, tanım kümesi değer kümesinin yerine geçer) eğer ki değer kümesi görüntü kümesine eşit değilse açıkta eleman kalmış demektir. tanım kümesinde açıkta eleman bulunması fonksiyon tanımına aykırıdır. bu yüzden bir fonksiyonun tersi olabilmesi için mutlaka birebir ve örten olması gereklidir.