Fonksiyon Kavramı:
A ve B boş kümeden farklı iki küme olmak üzere A kümesinin her bir elemanını B kümesinin bir ve yalnız bir elemanına eşleyen ilişkiye A dan B ye tanımlı fonksiyon denir.
f fonksiyonunun sıralı ikililer şeklinde gösterimi f={(a,1),(b,2),(c,2)} biçimindedir.