A ve B boş olmayan iki küme ise A’dan B’ye tanımlı olan f fonksiyonu şu şekildedir; A kümesinde bulunan her elemen B kümesindeki sadece 1 eleman ile eşleşebilir. A kümesinde eşleşmeyen eleman kalmaz. A kümesinden B kümesine tanımlı olan f fonksiyonunun gösterimi f : A → B, x → y = f (x) şeklinde ifade edilmektedir.