単射
数学において、単射あるいは単写(たんしゃ、英: injective function, injection)とは、その値域に属する元はすべてその定義域の元の像として唯一通りに表されるような写像のことをいう。