类

✍ dations ◷ 2025-12-06 09:31:46 #类

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

相关

食道癌食管癌指的是发生在食道的癌症。常见的症状包括吞咽困难与体重减轻，其他症状还有吞咽疼痛、沙哑（英语：Hoarseness）、锁骨周边淋巴结肿大、干咳、以及咳血或吐血。有两大类食管癌
担孢子担孢子（英语：Basidiospore）是担子菌门（包括伞菌、木耳、锈菌、黑粉菌等）的真菌所产生的有性孢子（英语：Teleomorph, anamorph and holomorph）。一般来说担孢子是由特化的结构担子经由
哥伦比亚河哥伦比亚河（英语：Columbia River），位于北美太平洋西北地区，全长2,044公里，流域面积415,211平方公里，平均流量每秒7,500立方米。哥伦比亚河起源于洛矶山脉在加拿大不列颠哥伦比亚内
大规模监控2001年–2007年–与英国政府通信总部合作项目非持续进行项目美国的大规模监控可以追溯到第一次世界大战的战时监控与审查制度（英语：Censorship_in_the_United_States#Wartime_
铅酸蓄电池铅酸蓄电池，又称铅蓄电池，是蓄电池的一种，电极主要由铅制成，电解液是硫酸溶液的一种蓄电池。一般分为开口型电池及阀控型电池两种。前者需要定期注酸维护，后者为免维护型蓄电池。
恰加斯病恰加斯病（英语：Chagas disease），又称为南美锥虫病（American trypanosomiasis），是一种热带疾病（英语：Tropical disease）寄生虫病；致病原是克氏锥虫（英语：Trypanosoma cruzi），通常借由俗称为
北半球北半球（英语：Northern Hemisphere），是指地球赤道以北的半球。地球上大部分的陆地（亚洲大部分、欧洲全部、非洲北半部、北美洲全部、南美洲极北部）及人口都在北半球。在北半球，冬季
氰化钠氰化钠，俗称山奈、山埃、山奈钠，是氰化物的一种，为白色结晶粉末或大块固体，毒性极强，化学式为NaCN。易吸湿而带有苦杏仁味，能否嗅出与个人的基因有关。氰化钠容易水解生成氰化氢，水
树状语言谱系系统发生树（英语：phylogenetic tree）又称演化树或进化树（evolutionary tree），是表明被认为具有共同祖先的各物种间演化关系的树状图。是一种亲缘分支分类方法（cladogram）。在图中，每
意大利文意大利语（Italiano），中文也简称为意语，隶属于印欧语系的罗曼语族。现有约7千万人日常用意大利语，大多是意大利居民。另有28个国家使用意大利语，其中4个立它为官方语言。正规意大利