精確地說(shuō)，設(shè)X是一個(gè)非空集合，Y是非空數(shù)集 ，f是個(gè)對(duì)應(yīng)法則 ， 若對(duì)X中的每個(gè)x，按對(duì)應(yīng)法則f，使Y中存在唯一的一個(gè)元素y與之對(duì)應(yīng) ， 就稱(chēng)對(duì)應(yīng)法則f是X上的一個(gè)函數(shù)，記作y＝f（x），稱(chēng)X為函數(shù)f（x）的定義域，集合{y|y=f（x），x∈X}為其值域（值域是Y的子集），x叫做自變量，y叫做因變量，習(xí)慣上也說(shuō)y是x的函數(shù)。