= 정의 =
$\phi$ 가 $X$ 에서 $Y$ 로의 함수라 하고, $x,y\in X$ 라 가정한다.
 * 만일 $x\ne y$ 일 때 $\phi(x)\ne \phi(y)$ 이면,
 * $\phi$ 를 '''일대일 함수'''라고 한다.
(이상준[* https://youtu.be/bnbPaQyx5Ec?si=bdZO5QbMNvptNnWK&t=1649])

----
[[WtEn:one-to-one_function]] = http://en.wiktionary.org/wiki/one-to-one_function

----
함수 $f$ 는 정의역 $D$ 에서 $f(x)$ 값이 오직 한 $x$ 값에만 대응되면 '''일대일'''이라고 한다.
더 정확하게는, $x_1,x_2\in D$ 에 대해
 $x_1\ne x_2 \Rightarrow f(x_1)\ne f(x_2)$
이면 '''일대일'''(one-to-one)이라 한다.

horizontal_line_test : 그래프를 지나는 모든 수평선(y=(상수) 꼴)은 '''일대일함수'''를 최대 한 번만 교차(intersect)한다.

(Briggs)

----
Syn. '''[[단사함수,injective_function]]'''

Cmp: [[일대일대응,one-to-one_correspondence]]

Up:
[[일대일,one-to-one]]  WtEn:one-to-one  [[함수,function]]
[[단사,injection]]

----
[[Ndict:일대일함수]] 
[[Ggl:일대일함수]]