y是x的函式，意思是y的值隨x的值的變化而變化。一般的，在一個變化過程中，假設有兩個變數x、y，如果對於任意一個x都有唯一確定的一個y和它對應，那麼就稱x是自變數，y是x的函式。此時，x的取值範圍是這個函式的定義域，相應y的取值範圍是這個函式的值域。
函式（function）的定義通常分為傳統定義和近代定義，函式的兩個定義本質是相同的，只是敘述概念的出發點不同，傳統定義是從運動變化的觀點出發，而近代定義是從集合、對映的觀點出發。函式的近代定義是給定一個數集A，假設其中的元素為x，對A中的元素x施加對應法則f，記作f（x），得到另一數集B，假設B中的元素為y，則y與x之間的等量關係可以用y=f（x）表示，函式概念含有三個要素：定義域A、值域C和對應法則f。其中核心是對應法則f，它是函式關係的本質特徵。
