단사함수,injective_function in RRWiki

AKA 일대일함수,one-to-one_function

def. 1.

If $\displaystyle x_1\ne x_2,$ then $\displaystyle f(x_1)\ne f(x_2)$

def. 2.

If $\displaystyle f(x_1)=f(x_2),$ then $\displaystyle x_1=x_2.$

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

Rel
가산집합,countable_set은 자연수집합으로의 단사함수가 존재하는 집합.[1]

Sources:

단사함수의 정의:

----