📂関数

含有関数

定義

$X \subset Y$としよう。次を満たす関数を包含関数^{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$²のような表記も使われる。