类

✍ dations ◷ 2025-11-30 07:56:12 #类

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

相关

累疲倦或疲劳，是生理信号的一种。是生物其中一种的不舒服感觉。大致可分为精神上和肉体上。短期的疲倦通常是由于过度活动并且缺乏休息所致，严重疲倦或可致命。一般认为疲倦的人
水危机水危机是联合国及其他国际组织用来泛指自1970年以来世界性的水资源相对人类需求的状况，主要的危机来源是可用水的匮乏以及水体污染。地球的淡水资源有限，主要出现在蓄水层、表
萤光显微镜荧光显微镜是一种使用荧光或磷光物质的光学显微镜，或除此之外使用反射和吸收用于研究的有机或无机物质的特性。“荧光显微镜”是指使用荧光来产生一个图像的任何显微镜，无论是
水果生果是指可以生食的植物果实；主要熟食之植物果实则称蔬菜。生产生果的植物称为果树。生果含大量的水溶糖分，很多还含有挥发性芳香物质。植物果实中汁液多者，亦称水果；相反，少汁液
灵长目灵长目（学名：Primates）是哺乳纲的一个目，在生物分类学上，可以再细分原猴及简鼻亚目（包括人）。灵长目的始祖住在热带雨林的树上，许多灵长目的特征表现了其适应三维立体环境的能力，大部
骨盆髋（拉丁语：pelvis），又称腰带、骨盆、盘骨，是一个骨骼构造，位于脊椎末端，连接脊柱和股骨，与四足动物的后肢、双足动物的下肢相连。股骨与腰带在臀部连接处形成髋关节，它是球窝关节。健
惯性约束惯性约束聚变（英语：Inertial confinement fusion，缩写为ICF），也译为局限惯性核聚变、惯性约束核聚变、惯性限制氢聚变、惯性局限融合，是一种核聚变的技术。这项技术利用激光的冲击
InChI国际化合物标识（InChI，英语：International Chemical Identifier）是由国际纯粹与应用化学联合会和国家标准技术研究所联合制定的，用以唯一标识化合物IUPAC名称的字符串。国际化合
埃奥利群岛埃奥利群岛（意大利语：Isole Eolie，西西里语：Ìsuli Eoli），又名利帕里群岛（Lipari Islands）是位于西西里岛北侧第勒尼安海中的火山群岛，得名于半神半人的风神埃俄罗斯。埃奥利群岛在夏
抽水马桶抽水马桶，又称冲水马桶，约翰·哈林顿（Dr. John Harington）被认为是第一个发明抽水马桶的人，1778年由约瑟夫·布拉梅（英语：Joseph Bramah）发明，是以杠杆原理把定量水由水箱拉下，把排泄