Fonksiyon: A ve B 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ümesinden iki farklı elemana gitmeyecek. Değer kümesinde boşta eleman kalabilir. Örneğin A kümesindeki elemanlar bir, iki, üç olsun ve B kümesindeki elemanlar ahmet, mehmet, ayhan, burak olsun. A'dan B'ye tanımalanacak bir fonksiyon oluşturabilmemiz için A'daki elemanları B'deki elemanlara eşlemeliyiz. Fonksiyonlar liste veya şema yöntemi ile gösterilebilir. A'dan B'ye tanımlanacak bir fonksiyonu liste yöntemiyle yazacak olursak: f{(Bir, ahmet), (İki, mehmet), (Üç, burak)} gibi bir fonksiyon elde edilebilir. Burada görüntü kümesinden bir eleman olan ayhan'a eşlenecek bir tanım kümesi elemanı kalmadı ama bu yine de bir fonksiyondur. Bizim için önemli olan tanım kümesinden bir elemanın boşta kalmamasıdır. Bu yalnızca olşuturabileceğimiz fonksiyonlardan bir tanesidir. Toplam oluşturulabilecek fonksiyon sayısı ise A kümesindeki eleman sayısı B kümesindeki eleman sayısına üs olarak yazılıp çıkan sonuçtur. Yani A'dan B'ye tanımlanabilecek toplam fonksiyon sayısı 4*4*4= 64 tür. Fonksiyonlar; örten fonksiyon, içine fonksiyon, birim fonksiyon, bire-bir fonksiyon ve sabit fonksiyon olarak sınıflandırılabilir.