[이산수학] 함수의 정의

함수의 정의

함수 (function): 집합 $X$에서 $Y$로의 관계의 부분 집합으로, 집합 $X$에 있는 모든 원소 $x$가 집합 $Y$에 있는 원소 중 오직 하나씩만 대응되는 관계. $X$를 함수 $f$의 정의역(domain)이라 하고, $Y$를 함수 $f$의 공변역(co-domain)이라고 함

$$ f: X → Y $$

함수 $f$의 정의역은 $Dom(f)$라 표시하고, 함수 $f$의 치역(range)는 $Ran(f)$라고 표시합니다.

$Dom(f) = \{x \space | \space (x, y) \in f, x \in X, y \in Y\}$

$Ran(f) = \{y \space | \space (x, y) \in f, x \in X, y \in Y\}$