类

✍ dations ◷ 2025-12-02 05:14:34 #类

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

相关

PNS周边神经病变（英语：Peripheral neuropathy，缩写PN）俗称神经系统疾病，是指神经系统的疾病或异常状态下的神经系统。虽然在大众文化中神经病常常是一种代替精神病的说法，但神经病实
脑炎脑炎（英语：encephalitis），一种急性脑部的炎症，通常由病毒感染造成。病患症状包括发烧、头痛、呕吐、意识混乱、疲倦、嗜睡和畏光。严重的症状包括癫痫、颤抖（tremors）、幻觉、记忆
灵长目灵长目（学名：Primates）是哺乳纲的一个目，在生物分类学上，可以再细分原猴及简鼻亚目（包括人）。灵长目的始祖住在热带雨林的树上，许多灵长目的特征表现了其适应三维立体环境的能力，大部
假足伪足（英语：Pseudopodia）是细胞伸出类似足状的部分，由原生质体形成的临时细胞器。伪足会依形状分成叶形状伪足、丝形状伪足、根形状伪足，有轴伪足4种。如单细胞生物（变形虫）、黏菌就
阿斯克勒庇俄斯阿斯克勒庇俄斯（希腊语：Ἀσκληπιός，拉丁语：Asclepius），是古希腊神话中的医神，在古罗马神话中被称为埃斯库拉庇乌斯（拉丁语：Aesculapius），他是太阳神阿波罗之子，形象为手持蛇杖。
生态负债日地球超载日（英语：Earth Overshoot Day，EOD），之前被称为是生态负债日（英语：Ecological Debt Day，EDD），指每年地球进入了生态赤字状态的日子，即是全球的生态足迹超越了地球可用的生物承载
新型冠状病毒新型冠状病毒（英语：Novel coronavirus，缩写为nCoV），简称新冠病毒，可以指：
发展迟缓广泛性发育障碍（Pervasive Developmental Disorder；简称PDD），又称社交障碍、发育迟缓，是一个与特殊性发育障碍（Specific Developmental Disorders；SDD）相对的名词，专指一组五种与多种
干草干草是指经过收割、干燥加工处理后的草料，以储备作动物饲料用途，特别是喂养畜类如马，山羊和绵羊等。干草还可作为宠物饲料，如兔子和豚鼠。猪也可以喂以干草，但它们对干草的消化并
经典逻辑经典逻辑（英语：Classical logic），又称古典逻辑，标识已经被最深入的研究和最广泛的使用的一类形式逻辑，也被称为标准逻辑（standard logic）。经典逻辑被特征化为一些性质，非经典逻辑缺