A ≠ Ø ve B ≠ Ø olmak üzere, A dan B ye bir β bağıntısı verilmiş olsun. A nın her elemanı B nin elemanlarıyla en az bir kez ve en çok bir kez eşleniyorsa bu bağıntıya fonksiyon denir.
∀x ∈ A ve y ∈ B olmak üzere, A dan B ye bir f fonksiyonu f: A → B ya da x→f(x) = y biçiminde gösterilir. A ya fonksiyonun tanım kümesi, B ye de değer kümesi denir.
