non-TR에 대해 알기 위해선 무한집합의 크기에 대해 정확히 따져볼 필요가 있다! 집합의 크기(자세한건 집합론에서 다루겠다.) 단사: 하나의 input에 하나의 output이 대응됨 $f: \ X\rightarrow Y$에 대해, $x_1 \neq x_2 \Rightarrow f(x_1) \neq f(x_2)$ $\Leftrightarrow f(x_1) = f(x_2) \Rightarrow x_1 = x_2$전사: output에 적어도 1개의 input이 대응됨 (치역 = 공역) $f: \ X\rightarrow Y$에 대해, $\forall y \in Y ,\ \exists x \in X, \ y = f(x)$전단사: 전사이며 단사예) y = 4x는 전단사함수이다. -..