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