函數中對應關係是指：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數公式對應到其平方公式的關係就是一個函數，若以3作爲此函數的輸入值，所得的輸出值便是9。
函數（function）的定義通常分爲傳統定義和近代定義，函數的兩個定義本質是相同的，只是敘述概念的出發點不同，傳統定義是從運動變化的觀點出發，而近代定義是從集合、映射的觀點出發。函數的近代定義是給定一個數集A，假設其中的元素爲x，對A中的元素x施加對應法則f，記作f（x），得到另一數集B，假設B中的元素爲y，則y與x之間的等量關係可以用y=f（x）表示，函數概念含有三個要素：定義域A、值域C和對應法則f。其中核心是對應法則f，它是函數關係的本質特徵。
