📂함수

포함 함수

정의

$X \subset Y$라고 하자. 다음을 만족하는 함수 $i$를 포함 함수^{inclusion (function)}이라 한다.

$$ i : X \to Y, \quad \text{and} \quad i(x) = x,\quad \forall x\in X $$

설명

쉽게 말해서 공역이 정의역보다 클 수도 있는 항등 함수이다.

$i : X \hookrightarrow Y$¹나 $i : X \subset Y$²와 같은 표기도 쓰인다.