类

✍ dations ◷ 2025-12-06 15:54:53 #类

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

相关

正二十面体正二十面体是一种正多面体，由20个正三角形组成。同时，它也是柏拉图立体、三角面多面体以及康威多面体。正二十面体是所有五种正多面体面数最多的。正二十面体有20个面、30个边
自身抗体人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学自身抗体（autoantibody）是一种抗体类型，
蛋白尿蛋白尿（法语：Protéinurie，德语：Proteinurie，英语：Proteinuria），在尿液中出现过量蛋白质的现象。出现这个症状时，可能是短暂的异常状态，可以恢复，身体状况仍然是正常，也可能是肾功能出现
北美北美地区（英语：Northern America；西班牙语：Norteamérica；法语：L'Amerique septentrionale）为地缘政治地理学的概念，指的是美洲的北部地区，以文化区分法又称盎格鲁美洲，属于北美洲大陆
精油精油（essential oil）是一种芳香物质，一般是从植物中萃取出来的芳香分子，为香水、调味料、化妆品等工业的重要产品，以及芳香疗法（aromatherapy）的主要原料。精油通常使用水蒸气蒸馏
乌尔大陆乌尔大陆（Ur）是个史前大陆，存在于30亿年前的太古代。其名称是以希腊神话中的乌拉诺斯（Uranus）为名。乌尔大陆可能是目前已知最早的大陆，年代比北极大陆早5亿年，但也可能晚于36到31
萨里沙长矛萨里沙（希腊语：σάρισα）长约3.6到6.4米（12-21英尺）。其经由腓力二世引入马其顿方阵，来取代先前的希腊长枪（Dory）。萨里沙长矛光是枪尖的部分即约有50公分，其尾部装有铜钉使重心
施莱尔马赫弗里德里希·施莱尔马赫（又译为士来马赫，德语：Friedrich Daniel Ernst Schleiermacher；1768年11月21日－1834年2月12日），德国19世纪神学家及哲学家，被称为现代神学、现代诠释之父，主张
血蓝蛋白结构 / ECOD1oxy :110-373 1nol :110-373 1lla :110-373 1ll1 :110-373 1hc1A:136-393 1hcyD:136-393 1hc6B:136-393 1hc4C:136-393 1hc3C:136-393结构 /
黑体陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧