Fonksiyon Kavramı, A ve be boş olmayan iki küme olmak üzere, A'nın (Tanım kümesi) her bir elemanının B'nin (Değer kümesi) yalnızca bir elemanına eşleyen ilişkiye fonksiyon denir. Bir fonksiyona gerçekten fonksiyon diyebilmemiz için tanım kümesinde boşta herhangi bir eleman kalmayacak, değer kümesinden biriyle eşleşecek ve tanım kümesinin herhangi bir elemanı değer kümesine iki defa gitmeyecek. Değer kümesinde boşta eleman kalabilir. Örneğin A kümesindeki elemanlar üzüm, kek, nane olsun ve B kümesindeki elemanlar serçe, kuş, güvercin, kartal olsun. A'dan B'ye bir fonksiyon olabilmesi için A'daki elemanları B'deki elemanlara eşlemeliyiz. Fonksiyonlar liste veya şema ile gösterilebilir. A'dan B'ye fonksiyonu liste yöntemi ile gösterecek olursak şöyle çıkabilir. F= {(Üzüm, kuş), (Kek, kartal), (Nane, güvercin)}. Bu yalnızca yapabildiğimiz sadece bir fonksiyondur. A'dan B'ye yapılacak fonksiyon sayısı, A kümesindeki eleman sayısını B kümesindeki eleman sayısına üs olacak şekilde bulunur. Yani A kümesi 3 elemanlı ve B kümesi 4 elemanlı ise A'den B'ye yapılacak fonksiyon sayısı 4*4*4=64 olur.