1. 概述

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

2. 定义

定义 1 (像)

设有 映射 , 定义以下 子集

并称 .

定义 2 (子集的像)

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

并称 映射后的 .

注记 3 (等价定义)

上述的 定义 1 (像)定义 2 (子集的像) 可分别被等价地定义为:

  • ;
  • .

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
image

集合论