f, X'den Y'ye bir fonksiyon ise o zaman  f : X → Y  yazılır ve x'e bağlanan Y'deki tek eleman f(x) olarak gösterilir. Bu elemana x'in f altındaki değeri ya da f'in bir değeri denir. X kümesine f'in tanım kümesi, Y'ye ise f'nin değer kümesi denir.

Özet