• 관계의 특수한 경우
• 아래를 만족하는 $X$에서 $Y$로의 관계 $f : X \to Y$
  • $\forall x \in X, \exist y \in Y. ~\text{s.t.} ~(x,y) \in f$
  • $(x, y_1) \in f \land (x, y_2) \in f \Rarr y_1=y_2$
• $(x,y) \in f$ 는 $y=f(x)$ 로도 표기
• 함수 $f:X \to Y$ 에서 $y=f(x)$ 일 때,
  • $y$를 $f$에 의한 $x$의 상(image)
  • $x$를 $f$에 의한 $y$의 원상(pre-image)
  • $X$를 $f$의 정의역(domain) $\text{Dom}(f)$
  • $Y$를 $f$의 공역(co-domain)
  • $\{f(x)|x \in X\} = f(X)$ 를 $f$의 치역(range) $\text{Rng}(f)$
• 함수식이 같아도 정의역이 다르면 다른 함수
• 함수 $f : X \to Y$ 에 대하여 $A \sub X$ 일 때,
  • $f|_A$ 는 $X$를 $A$로 축소한 함수
  • $g = f|_A$ 이면, $f$는 $g$의 $A$에서의 확대함수

1-1. 함수의 성질

1-2. 여러가지 함수

1-3. 여러가지 정리