AKA '''[[일대일함수,one-to-one_function]]'''

[[단사,injection]]
[[함수,function]]

----
def. 1.
 If $x_1\ne x_2,$ then $f(x_1)\ne f(x_2)$

def. 2.
 If $f(x_1)=f(x_2),$ then $x_1=x_2.$

(위 둘은 [[대우,contraposition]]임이 명확하게 보임)


----
Cmp:
[[전사함수,surjective_function]]
[[전단사함수,bijective_function]]

----
Rel
[[가산집합,countable_set]]은 자연수집합으로의 '''단사함수'''가 존재하는 집합.[* WpKo:가산_집합]
----
Sources:
 단사함수의 정의:
  서검교 대학기초수학 https://youtu.be/dT1cRKMQ7BE?si=3ijEqg1lZRQnkGAi&t=2166

Twin:
https://ko.wikipedia.org/wiki/단사_함수