1. 概述 给定一个 集合, 所谓的元素就是 “属于该集合中的元素”. 这在 集合论 作为数学基础时, 是没有办法避免循环定义 “元素” 的, 因为在这个时候 “集合” 尚且还是一个未被严格定义的项 (用 元语言 表述的). 然而若不是直接将集合论当作数学基础, 而是把 “集合” 当作基于其他数学基础而定义出来的概念, 那么我们便可以明确地给出 “元素” 的定义究竟是何物, 详情请参考 这里. 2. 推广 类型论 中, 某些 类型 的 项; 范畴论 中, 范畴 中的对象 对象; 某些 对象 的 全局对象 或 广义对象; -范畴 中的 k-态射 或 k-胞. 3. 术语翻译 中文英文元素element(s) 集合论