类

✍ dations ◷ 2025-12-10 10:49:23 #类

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

相关

糖尿病视网膜病变糖尿病视网膜病变（英语：Diabetic retinopathy）是糖尿病的并发症。长期的高血糖环境会损伤视网膜血管的内皮，引起一系列的眼底病变，如微血管瘤、硬性渗出、棉絮斑、新生血管、玻璃
微球黑粉菌纲Heterogastridiales 白冬孢酵母目（Leucosporidiales）微球黑粉菌目（Microbotryales）锁掷酵母目（Sporidiobolales）微球黑粉菌纲（学名：Microbotryomycetes）是担子菌门柄锈菌亚门下的一
磺胺苯吡唑磺胺苯吡唑是一种磺胺类药物，其INN名称是“Sulfaphenazole”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确，在大鼠（经皮下注射）体内的LD50（半
2019冠状病毒病中国大陆疫情有以下的分页：
挤乳人结节挤乳人结节（Milker's nodules）为一种人畜共通性的皮肤病，主要因为接触受副牛痘病毒（英语：Paravaccinia virus）的牛只而传染:393。病灶形态类似接触传染性化脓性皮肤炎（英语：Orf (dis
百灭宁百灭宁是一种抗寄生虫的药物，外用百灭宁用于皮肤，主要治疗疥疮、头虱。普通名称：百灭宁（Permethrin）分子式：C21H20Cl2O3分子量：391.28外观：灰棕色液体熔点：34-35℃沸点：大约200℃蒸气
受器在固态物理学中，受主是把一些物质参杂在半导体里，而让它变成p型半导体。比方说，当再有四个价电子的硅原子里面参杂只有三个价电子的铝或硼会再硅晶格里形成一个空穴，这些空穴会
蝶骨蝶骨(sphenoid bone)为构成颅骨的29块骨骼之一，共一块。当从前方观察时，其形状如同蝴蝶，所以得名。蝶骨分为体、小翼、大翼和翼突四个部分。蝶骨分为以下部分:两个蝶甲（英语：Sphe
表现主义表现主义（法语：Expressionnisme）是20世纪初流行于法国、德国、奥地利、北欧和俄罗斯的文学和艺术流派。1901年法国画家朱利安·奥古斯特·埃尔韦为表明自己绘画有别于印象派而
古英语古英语（古英语：Ænglisc，英语：Old English）或盎格鲁-撒克逊语（英语：Anglo-Saxon）是指从449年到1066年间在对应于今天英格兰和苏格兰东南部的人说的英语。古英语属于西日耳曼语，和古弗