数学における関数(函数、かんすう、英語: function)とは、ある変数に依存して決まる値あるいはその対応を表す式の事である。この言葉はライプニッツによって導入された。その後定義が一般化されて行き、現代的には数の集合に値をとる写像の一種であると理解される。