(1) 전사함수(Surjective, onto) 전사함수(surjective, onto)라는 것은 공역에 있는 모든 원소가 치역에 있는 것이다. 그래서 수식적으로 표현하면, 공역의 모든 y에 대하여 최소한 하나의 x에 대해서 f(x) = y를 성립한다고 할 수 있다. 간단한 예로 X = [1, 2, 3, 4], Y = [A, B, C, D]가 있을 때, f(1) = A f(2) = B f(3) = C f(4) = D 라면, 모든 Y가 사상(mapping)되기 때문에 전사함수라고 할 수 있다. 만약, X에 5가 추가되어서 f(5) = D 라고 하더라도, 전사함수는 그대로 성립한다. 최소한 1개의 x가 y에 사상되는 것이기 때문에 여러 개의 x가 하나의 y에 대응되더라도 괜찮다. 하지만, Y에 E가 추가되었..