두 변수 와 에 대하여 의 값이 정해짐에 따라 의 값이 오직 하나씩 정해지는 대응관계가 있을 때, 를 의 ​ ​ ​ ​ ​ ​ ​ ​ ​ ^[1] 라 하고, 이것을 기호로 ​ ​ ​ ​ ​ ​ ​ ​ ​ ^[2] 와 같이 나타낸다.

함수 에서 의 값에 따라 하나씩 정해지는 의 값 를 에 대한 ​ ​ ​ ​ ​ ​ ​ ​ ​ ^[3] 이라고 한다.