类

✍ dations ◷ 2025-08-02 14:24:11 #类

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

相关

人体解剖学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学人体解剖学（英语：anthropotomy或human a
γ-变形菌纲详见细菌分类表γ‐变形菌纲（学名：Gammaproteobacteria）属于细菌界变形菌门，是目前所知的细菌中种类最多的一纲，包括一些医学上和科学研究中很重要的类群，如肠杆菌科（Enterobactera
农业政策农业政策（英语：Agricultural policy）指与本地农业和进口外地农产品相关的一系列法律。政府实行农业政策通常是为了在本地农产市场达到特定的目标，例如保证供应水平、价格稳定、
酸酐酸酐是具有两个酰基键合于同一氧原子上的有机化合物。称为“酐”的原因因为它是由两个羧酸脱水而成。若两侧酰基由同种羧酸衍生而来则称为对称酸酐，分子式可表达为：(RC(O))2O
加速器驱动次临界反应堆加速器驱动次临界反应堆（又称加速器驱动次临界系统，Accelerator driven sub-critical reactor,ADS）是一种利用加速器加速的质子束流轰击重核靶材产生的外源中子驱动次临界反应
台中火力发电厂台中发电厂，又称台中电厂、台中火力发电厂，简称中火，是位于台湾台中市龙井区的火力发电厂，隶属于台湾电力公司，以煤炭为燃料。厂址位于台中港南端，于1986年开始兴建计划，紧邻大肚溪
火龙卷火龙卷，又称为火焰龙卷风、火焰漩涡、火灾旋风等，是当空气中的漩涡乱流因为高热及风向造成的湍流结合而形成，在旋风内有火焰。当这些涡旋空气继续收紧至类似龙卷风的结构时，可以
VBbr /5固体、液体、气体5族元素（又称钒族元素）是指元素周期表上第5族（ⅤB 族）的元素，位于4族元素和6族元素之间。5族元素包含钒（V）、铌（Nb）、钽（Ta）、
脱氧糖脱氧糖（英语：Deoxy sugars）是指糖分子中有一个羟基被氢原子所替代的糖。例子包括：果聚糖：菊粉 · 果聚糖β2→6甘露聚糖：低聚木糖：半乳聚糖：
基洛夫州基洛夫州（俄语：Кировская область，罗马化：Kirovskaya oblast）位于东欧平原东部，属伏尔加联邦管区，是俄罗斯联邦主体之一，同时为“伏尔加-维亚特经济区”成员之一（参