类

✍ dations ◷ 2025-11-28 00:09:44 #类

在集合论及其数学应用中，类是集合（或其他数学物件）的搜集（collection），可以依所有成员所共享的性质被无歧定义。有些类是集合（例如由所有偶数构成的类），但有些则不是（如所有序数所构成的类或所有集合所构成的类）。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。在数学里，有许多物件对集合而言太大，而必须以类来描述，像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类，一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子，请参见完全自由格（英语：Free_lattice#The_complete_free_lattice）。真类不能是一个集合或者是一个类的元素，而且不受ZF集合论中的公理所限制；因此避免掉了许多朴素集合论中的悖论。反而，这些悖论成了证明某一个类是否为真类的方法之一。例如，罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类，而布拉利-福尔蒂悖论则可证明所有序数所构成的类是一个真类。标准的ZF集合论公理不会论及到类；而在元语言中，类只作为逻辑公式的等价类而存在。冯诺伊曼-博内斯-哥德尔集合论则采取了另一种方式；类在此一理论中是基础的物件，而集合则被定义为可以是其他某些类的元素的类。真类，则为不可以是其他任何类的元素的类。在其他集合论如新基础集合论或半集合的理论中，“真类”的概念依然是有意义的（不是任一堆事物都会是集合），但对集合特质的认定并非依据其大小。例如，所有包含全集的集合论都会有个是集合的子类的真类。“类”这一词有时会和“集合”同义，最为人知的是“等价类”这一术语。这种用法是因为从前对类和集合不如现今一样地区别的缘故。许多19世纪之前对“类”的讨论提及的实际上是集合，又或者会是个更为模糊的概念。

相关

皮肤病学皮肤科（dermatology）是医学上治疗皮肤疾病的专门分支。全身的皮肤面积广大，因此皮肤是人体最大的器官。皮肤病学是研究皮肤的结构、功能和疾病的学科，在广义上，还包含对头发、指
干燥症干燥综合征，又名修格连氏综合征，或者舍格伦综合征。该病的英文名称为Sjögren's syndrome（发音为/ˈʃoʊɡrənz/，又称为Mikulicz disease及Sicca syndrome，是一种长期的自身免
分离焦虑症分离焦虑症（SAD）是一种焦虑症，其中个体对于从家庭或个人对个体具有强烈情感依恋（例如父母，看护者，重要的其他或兄弟姐妹）的分离经历过度焦虑。通常在6-7个月至3岁之间的婴儿和小孩
滋养体活动体（trophozoite）是原虫类寄生虫（Protozoan parasites）生活史上的一个活跃、有运动性和繁殖的阶段。活动体之后会发展成裂殖体（schizont）阶段，即成为一个母细胞。寄生虫在活动体
骨髓抑制骨髓抑制，或称骨髓功能抑制，是一种化学治疗及使用某些影响免疫系统的药物，如硫唑嘌呤，所引起的副作用。骨髓抑制在白血病化疗时出现的概率尤其高。骨髓是红血球生成的地方，但这个
南南合作由于世界上的发展中国家绝大部分都处于南半球和北半球的南部分。于是从1960年代开始，这些国家之间为摆脱发达国家的控制，发展民族经济，开展专门的经济合作，即称为南南合作。例如
克森尼索克森尼索（希腊语：Χερσόνησος; 拉丁语：Chersonesus）是古希腊的一个殖民地，建于约2500年前，位于克里米亚的西南部。殖民地始建于公元前6世纪，由来自赫拉克里亚·潘提卡（Her
辞职辞职是在职业上一个员工辞别自己原先的工作岗位及组织，让出其职位予新接任人。与之词意相近的是离职、退职，但不包含退休。员工离职时，要先与下一位接手之人指导其岗位职务上需
靶向治疗人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学靶向治疗或靶向分子治疗（英语：Targeted
发声发声态（英语：phonation）指发声时声门活动的状态。最常见的两种发声态，是清声（喉开态）和浊声（常态浊声），其差异在于声带是否振动，清声不振动，而浊声振动。带清声的音，叫清音；带浊声的音，叫