1. 概述 一个 映射 的 培域 便是 集合 . 2. 定义 定义 1 (陪域) 设有 集合 , 称 映射 中的 为 陪域. 3. 相关概念 定义域 映射 像 4. 术语翻译 中文英文陪域codomain 集合论