Bir işlev #f: X - Y # İki takımınız olduğunda verilir ve size bir tanesini nasıl ilişkilendireceğinizi söyleyen bir yasa verilir. #y in Y # her birine #x in X #.
En basit durum, sayısal işlevle temsil edilir; bu, gerçek bir sayıyı her gerçek sayı ile ilişkilendirdiğiniz anlamına gelir. Yani evet, # X, ^ 2 + 5 # çünkü bir fonksiyon her Gerçek sayı, karesini hesaplayabilir ve sonra beş ekleyebilirsiniz. Bu daha önce bahsettiğim "yasa" nın tam olarak ne yapacağını söylüyor: yazma #f (x) = x ^ 2 + 5 # (veya ayrıca sıklıkla • y = x ^ 2 + 5 #) "numara almak" anlamına gelir # X #, kendisiyle çarpma, elde etme # X ^ 2 #ve ardından ekle #5# sonuç olarak, elde etme # X, ^ 2 + 5 #.
