1. 概述

于 集合论 中, 一个 映射 的 映射的像 是 的 子集, 使得所有其中的 元素 皆可被写为 的形式, 即是说每一个像中的元素都存在相应的 与之配对.

2. 定义

定义 1 (映射的像)

设有 映射 , 定义以下 子集:

并称 为 的 映射的像.

定义 2 (子集的像)

设有 映射 以及 子集 , 定义以下 子集:

并称 为 被 映射后的 像.

注记 3 (等价定义)

上述的 映射的像 与 子集的像 可分别被等价地定义为:

  • ;
  • .

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
像image

集合论