数学中的一种对应关系，是从非空集合A到实数集B的对应。

简单地说，甲随着乙变，甲就是乙的函数。

精确地说，设X是一个非空集合，Y是非空数集，f是个对应法则，若对X中的每个x，按对应法则f，使Y中存在唯一的一个元素y与之对应，就称对应法则f是X上的一个函数，记作y＝f（x），称X为函数f（x）的定义域，集合{y|y=f（x），x∈X}为其值域（值域是Y的子集），x叫做自变量，y叫做因变量，习惯上也说y是x的函数。