定义 映射的像

自然语言

给定集合 $X$ 和集合 $Y$
给定映射 $f : X \to Y$ ，定义它的像为

$$ \bbox[5pt]{ \text{im}(f) \triangleq \{y \in Y \big| \exists x \in X , f(x) = y\} } $$