matematikte bir "eşleme" biçimi. tanım kümesinden aldığı elemanları değer kümesine götürür.
örneğin tamsayılarda bölme işlemi bir fonkiyondur. 2 tamsayıyı (tanım kümesi) alır, bir kesirli sayıya (değer kümesi) götürür.
fonksiyon tanım kümesindeki her elemanı tek bir değere götürmek zorundadır. Burada sık sık verilen örnek otobüstür. otobüs duraktaki tüm yolcuları almak ve taşımak zorundadır. aynı durakta birden fazla yolcu inebilir ama bir yolcu birden fazla durakta inemez.