Bir f: A -> B fonksiyonunda, fonksiyonun tanımlı olduğu ve girdilerin alındığı ilk küme olan A kümesidir. Örneğin f(x) = 2x + 1 fonksiyonunda x yerine yazılabilecek tüm değerlerin oluşturduğu kümedir.

Bir f: A -> B fonksiyonunda, fonksiyonun çıktılarının yer alabileceği, hedef küme olan B kümesidir. Tanım kümesindeki elemanların eşlenebileceği tüm aday elemanları barındırır.

Tanım kümesindeki elemanların fonksiyon altındaki görüntülerinin oluşturduğu ve değer kümesinin bir alt kümesi olan kümedir. f(A) ile gösterilir; örneğin A={1,2} ve f(x)=2x ise f(A)={2,4} kümesidir.

Değer kümesinde eşleşmeyen, yani açıkta kalan en az bir elemanı bulunan fonksiyon türüdür. Görüntü kümesi değer kümesine eşit değildir (f(A) ≠ B).

Değer kümesinde açıkta hiç eleman kalmayan, yani görüntü kümesi değer kümesine eşit olan (f(A) = B) fonksiyon türüdür.

Tanım kümesindeki her farklı elemanın görüntüsünün de birbirinden farklı olduğu fonksiyon türüdür. x1 ≠ x2 iken f(x1) ≠ f(x2) şartını sağlar.

Tanım kümesindeki her elemanı yine kendisine eşleyen fonksiyondur. Genellikle I ile gösterilir ve kuralı f(x) = x şeklindedir.

Tanım kümesindeki tüm elemanları, değer kümesindeki yalnızca tek bir elemana eşleyen fonksiyondur. f(x) = c (c ∈ R) biçimindedir.

Bire-bir ve örten bir f fonksiyonunun değer kümesindeki elemanları tanım kümesindeki asıllarına geri götüren f^-1 fonksiyonudur.

İki veya daha fazla fonksiyonun ardışık uygulanmasıyla elde edilen yeni fonksiyondur. (fog)(x) = f(g(x)) şeklinde tanımlanır.

Bir fonksiyonda değeri dışarıdan serbestçe belirlenebilen ve tanım kümesini oluşturan x değişkenidir.

Değeri bağımsız değişkene yapılan işlemlere göre değişen ve değer kümesini temsil eden y değişkenidir.

Sadece bir tane bağımsız değişkene bağlı olan ve f(x) şeklinde gösterilen fonksiyon türüdür.

Birden fazla bağımsız değişkene bağlı olan fonksiyondur. Örneğin paranın gelecekteki değerini veren S = f(P, i, t) fonksiyonu üç değişkenlidir.

Grafiği bir doğru belirten, f(x) = ax + b biçimindeki birinci dereceden fonksiyonlardır.