类

✍ dations ◷ 2025-12-10 04:25:22 #类

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

相关

麦角菌约50种, 包括: C. africana C. fusiformis 雀稗麦角菌 C. paspali C. purpurea C. sorghi C. zizaniae麦角是谷类作物（如小麦）被真菌感染所形成的黑色子实体。它是由多种叫做
尺骨尺骨（拉丁语：Ulna）是位在人体上肢中前臂内侧的骨头，即在尾指侧的骨，在桡骨之旁。在靠近上臂处有一半月形的关节面，称为滑车切迹，与肱骨滑车共同形成关节。切迹上方有两个突起，分别称
GM-CSFn/an/an/an/an/an/an/an/an/an/a结构 / ECOD粒细胞-巨噬细胞集落刺激因子（granulocyte-macrophage colony-stimulating factor，GM-CSF），又名集落刺激因子2（colony-stimulating fa
计算机动画计算机动画（Computer Animation），又称计算机绘图，是通过使用计算机制作动画的技术。它是计算机图形学和动画的子领域。近年动画师越来越多的借助于三维计算机图形学，纵使二维计算
Tl4f14 5d10 6s2 6p12, 8, 18, 32, 18, 3蒸气压第一：589.4 kJ·mol−1 第二：1971 kJ·mol−1 第三：2878 kJ·mol主条目：铊的同位素铊（拼音：tā，注音：ㄊㄚ，粤拼：taa1；英语：thallium）是化
卡罗尼亚卡罗尼亚（意大利语：Caronia），是意大利墨西拿省的一个市镇。总面积226平方公里，人口3463人，人口密度15.3人/平方公里（2009年）。ISTAT代码为083011。
埃斯库罗斯埃斯库罗斯（Αισχύλος，前525年－前456年），古希腊悲剧诗人，与索福克勒斯和欧里庇得斯并列为古希腊最伟大的悲剧作家，有“悲剧之父”的美誉。埃斯库罗斯生于希腊阿提卡的埃琉西
荷兰莱顿大学莱顿大学（荷兰语：Universiteit Leiden）座落在荷兰的莱顿市，是目前荷兰持续运作中最古老的大学。莱顿大学是科英布拉集团、Europaeum以及欧洲研究型大学联盟等大学联盟的一员，享有
通格通格（absolutive case、或称：绝对格）于作-通格语言中表示及物动词宾语与不及物动词主语的一种语法格。如巴斯克语名词mutil（意为“童”），加单数通格屈折-a，可表主词于不及物动词句m
大猩猩大猩猩是灵长目人科大猩猩属类人猿的总称。大猩猩是灵长目中体型最大与智力仅次于人类和黑猩猩的动物，它们生存于非洲大陆赤道附近丛林中，食素。至2006年为止依然有大猩猩分一