두 집합 X, Y에 대해 ∀x ∈ X가 y ∈ Y에 오로지 하나만 대응되는 관계
같은 y는 한 번씩만 대응
y1 = y2 ---> x1 = x2
Codomain ( y ) = Range ( 실제 대응되는 것 )
모든 y는 적어도 하나의 x에 대응
Injective ^ Surjective
x 와 y의 개수가 동일하다.
역함수도 함수이기 때문에 y는 x에 대응돼야하며,
하나의 y는 두 x에 대응될 수 없다.
즉, Bijective Function을 만족해야한다.