定义 双射

自然语言

给定映射 $f : X \to Y$
若 $\forall x,y \in X$ 且 $x \neq y$ 成立

$$ \bbox[5pt]{ f(x) \neq f(y) } $$

即映射 $f$ 为单射
又若 $\forall y \in Y , \exists x \in X$ 成立

$$ \bbox[5pt]{ f(x) = y } $$

即映射 $f$ 为满射
则称映射 $f$ 为双射