A ve B boş olmayan iki küme olsun. A kümesinin her elemanını B kümesinin yalnız bir elemanına eşleyen bir f bağıntısına A dan B ye bir fonksiyon denir. A kümesine f fonksiyonun tanım kümesi, B kümesine f fonksiyonun değer kümesi denir. x elemanına değişken, y elemanına (y = f(x))