Bir kümenin her elemanının başka bir kümenin en az bir defa ve yalnız bir elemanıyla ilişkilendiren bağıntı. Tanım kümesindeki tüm elemanlar, değer kümesindeki en az bir elemanla ilişkilendirilir. Tanım kümesinde eşleştirilen bir eleman ikinci defa eşleştirilemez. Değer kümesinde ilişkilendirilen elemanların oluşturduğu kümeye "görüntü kümesi" adı verilir. Fonksiyonlar genellikle f, g veya h gibi küçük harflerle gösterilirler. Örneğin A ve B isimli iki küme oluşturulursa A'nın her elemanının B'nin en az bir ve yalnız bir elemanıyla ilişkilendiren bağlantıya "A'dan B'ye fonksiyon" denir ve şu şekilde gösterilir:

$f:A⟶B$