Bir kümenin her bir elemanını, başka bir kümenin yalnızca bir elemanına eşleyen bağıntı. A kümesinin elemanlarını B kümesinin elemanları ile eşleyen bir f fonksiyonuna, "A'dan B'ye tanımlanmış fonksiyon" denir ve


şeklinde gösterilir. Burada, A kümesine tanım kümesi, B kümesine ise değer kümesi adı verilir.