1. 概述 在 集合论 中, 选择函数 是一种特殊的 映射, 它可以从从每一个由 非空集 所组成的 集合 中各自选取出至少一个 元素. 该概念与 ZFC 集合论 > ^7f0c0e 密切相关. 2. 定义 定义 1 (选择函数) 设 为由 非空集 所组成的 集族, 称 映射 为 选择函数, 若满足： 注记 2 ( 是元素而非映射的像) 请注意, 切勿将 定义 中的 视作为 的 像, 这是一个属于 的 元素, 而非 集合. 3. 相关概念 ZFC 集合论 > ^7f0c0e ZFC 集合论 > ^663759 4. 术语翻译 中文英文选择函数choice function / selection function 集合论