函數(shù)是數(shù)學(xué)中的一種對(duì)應(yīng)關(guān)系,是從非空數(shù)集A到實(shí)數(shù)集B的對(duì)應(yīng).簡單地說,甲隨著乙變,甲就是乙的函數(shù).精確地說,設(shè)X是一個(gè)非空集合,Y是非空數(shù)集 ,f是個(gè)對(duì)應(yīng)法則 ,若對(duì)X中的每個(gè)x,按對(duì)應(yīng)法則f,使Y中存在唯一的一個(gè)元素y與之對(duì)應(yīng) ,就稱對(duì)應(yīng)法則f是X上的一個(gè)函數(shù),記作y＝f（x）,稱X為函數(shù)f（x）的定義域,集合{y|y=f（x）,x∈R}為其值域（值域是Y的子集）,x叫做自變量,y叫做因變量,習(xí)慣上也說y是x的函數(shù).
對(duì)應(yīng)法則和定義域是函數(shù)的兩個(gè)要素.