设$A$，$B$是非空数集，如果按照某种确定的对应关系$f$，使对于集合$A$中的任意一个数$x$，在集合$B$中都有唯一确定的数$f(x)$和它对应，那么就称$f:A \to B$为从集合$A$到集合$B$的一个函数，记作$y=f(x),x \in A$。
其中，
$x$叫做自变量，$x$的取值范围$A$叫做函数的定义域；
与$x$的值相对应的$y$值叫做函数值，
函数值的集合$\{f(x)|x \in A\}$叫做函数的值域。值域是数集$B$的子集，不一定是数集$B$.