含入映射

含入映射是将集合的子集含入原来集合的映射.

1定义

定义 1.1. 设 $X$ 是集合, $Y\subset X$ 是子集. 则 $Y$ 到 $X$ 的含入映射是指映射$$\begin{array}{rl}i:Y& ⟶X,\\ x& ⟼x.\end{array}$$

2相关概念

•	恒同映射
•	单射

术语翻译

含入映射 • 英文 inclusion map