Fonksiyon Sayısı, Fonksiyon, A ve B boş olmayan iki kümeyi temsil etmek üzere, A kümesinin (Tanım kümesi) her bir elemanını B kümesinden (Değer kümesi) yalnızca bir elamana eşleyen ilişkiye fonksiyon denir. Bir fonksiyona gerçekten fonksiyon diyebilmemiz için A kümesinde boşta eleman kalmayacak, B kümesinden bir elemanla eşleşecek ve A kümesinden bir eleman B kümesine birden fazla elemanla eşleşmeyecek. B kümesinde boşta eleman kalabilir. Örneğin A kümesi kalem, kâğıt, defter olsun ve B kümesi silgi, kitap, telefon, mesaj olsun. A kümesinden B kümesine bir fonksiyon tanımlayabilmemiz için A'daki elemanları B'ye eşlemeliyiz. Fonksiyonlar liste yöntemi veya şema yöntemiyle gösterilebilir. A kümesinden B kümesine liste yöntemiyle bir fonksiyon tanımlayacak olursak bu şöyle olabilir: f={(Kâğıt, kitap) (Defter, silgi) (Kâğıt, telefon)}. Bu fonksiyonda B kümesinde bulunan 'mesaj' elamanının karşılığı A kümesinde yoktur. Ama bu yine de bir fonksiyondur. Çünkü bizim için önemli olan tanım kümesinde boşta eleman kalmamasıdır. Fonksiyonlar, bire-bir, örten, içine, birim, sabit fonksiyonlar gibi çeşitlendirilebilir.