定义 满射

自然语言

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

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

则称映射 $f$ 为满射