类

✍ dations ◷ 2025-12-07 12:37:06 #类

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

相关

原生生物超类群与门以及众多不同分类会包括的分类单元原生生物（学名：Protist，发音： /ˈproʊtᵻst/）统称真核生物域中，不属于植物、动物和真菌，一般个体微小、多数为单细胞、有细胞核和原生
分枝杆菌分枝杆菌属（Mycobacterium）为放线菌门下的一个属，且为分枝杆菌科唯一的属。该属细菌包括许多已知在哺乳类动物中造成严重疾病的病原菌，包括结核杆菌（Mycobacterium tuberculosis）
烟灰缸烟灰缸，是一个盛载烟灰、烟头的器皿，形状似一个开口碗、有盖的盒、邮箱，或者垃圾桶等。烟灰缸用料为耐燃物料，包括石、瓦、金属等。礼品公司不少利用烟灰缸表面作广告宣传。在禁
压压力是一个心理学与生物学的术语，意指人类或动物面对情绪上或身体上的有形或无形威胁时，无法正常回应的感受状态。该名词首次出现于1930年代的生物学研究领域里，近年来已逐渐为
矿难矿难，指在采矿过程中发生的事故，通常造成伤亡的危险性极大。世界上每年至少有几千人死于矿难。矿难发生的频率在中国等发展中国家尤为突出。在2003年，中国生产了世界约35%的煤，
梅格洛玻利斯梅格洛玻利斯（希腊语：Μεγαλόπολη）是希腊南部阿卡迪亚州西南部的一个城镇。该城始建于公元前371年，是当时该地区最早实现城市化的地方。著名历史学家波利比乌斯即生于
研究研究是用主动和系统方式的过程，是为了发现、解释或校正事实、事件、行为、或理论，或把这样事实、法则或理论作出实际应用。“研究”一词常用来描述关于某一特殊主题的资讯收集
全色盲色盲（英语：Color blindness），又称色觉辨认障碍（英语：Color vision deficiency），是指看见颜色及辨别颜色的能力减退的状况。色盲有可能造成学习困难，购买水果、挑选衣物，及辨识交通号
鼻部 (部首)鼻部，为汉字索引中的部首之一，康熙字典214个部首中的第二百〇九个（十四划的则为第一个）。就繁体和简体中文中，鼻部归于十四划部首。鼻部大都以左方为部字。且无其他部首可用者将
加拿大原住民音节文字加拿大原住民音节文字（Canadian Aboriginal syllabics），是一系列的音节文字，用于书写几种加拿大境内原住民语言，这些语言分别属于阿尔冈昆语族、爱斯基摩－阿留申语系和德内语支。