Ֆունկցիան մաթեմատիկայում, երկու բազմությունների տարրերի միջև համապատասխանության կանոն է, ըստ որի առաջինի յուրաքանչյուր տարր համապատասխանում է երկրորդ բազմության մեկ և միայն մեկ տարրին։
Ֆունկցիայի մաթեմատիկական հասկացությունն արտահայտում է ինտուիտիվ գաղափար այն մասին, թե ինչպես է մի մեծությունն ամբողջությամբ որոշում մեկ այլ մեծության արժեքը։ Այսպիսով փոփոխականի արժեքըեզակիորեն որոշում է արտահայտության արժեքը, իսկ ամսվա արժեքը որոշում է դրան հաջորդող ամսվա արժեքը։ Ֆունկցիայի «կենցաղային» օրինակ է այն, որ յուրաքանչյուր մարդու կարելի է միանշանակ համապատասխանեցնել նրա կենսաբանական հորը։
Նմանապես, կանխորոշված ալգորիթմը, հաշվի առնելով մուտքային տվյալների արժեքը, որոշում է ելքային տվյալների արժեքը։
Հաճախ «ֆունկցիա» տերմինը հասկացվում է որպես թվային ֆունկցիա, այսինքն՝ ֆունկցիա, որը մի թվին համապատասխանեցնում է մյուսին։ Այս ֆունկցիաները հարմար է ներկայացնել գրաֆիկների տեսքով։
Ֆունկցիա» տերմինը (մի փոքր ավելի նեղ իմաստով) առաջին անգամ օգտագործել է Լայբնիցը (1692 թվական)։ Իր հերթին Յոհան Բեռնուլին Լայբնիցին ուղղված նամակում այս տերմինին ավելի մոտ իմաստ է տվել ժամանակակցին։
Սկզբում ֆունկցիա հասկացությունը չէր տարբերվում վերլուծական ներկայացման հասկացությունից։ Հետագայում հայտնվեց ֆունկցիայի սահմանումը, որը տրվել է Էյլերի (1751), այնուհետև Լակրուայի (1806) կողմից, գրեթե ժամանակակից ձևով։ Վերջապես, ֆունկցիայի ընդհանուր սահմանումը (ժամանակակից ձևով, բայց միայն թվային ֆունկցիաների համար) տրվել է Լոբաչևսկու (1834) և Դիրիխլեի(1837) կողմից[3]։
19-րդ դարի վերջում ֆունկցիա հասկացությունը գերազանցել էր թվային համակարգերի շրջանակը։ Սկզբում ֆունկցիա հասկացությունը տարածվեց վեկտորային ֆունկցիաների վրա, Ֆրեգենշուտով ներկայացրեց տրամաբանական ֆունկցիաները (1879 թվական), իսկ բազմությունների տեսության հայտնվելուց հետո Դեդեկինդը (1887 թվական) և Պեանոն (1911 թվական) ձևակերպեցին ժամանակակից ունիվերսալ սահմանումը: