类

✍ dations ◷ 2025-11-19 16:07:49 #类

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

相关

广泛性发展障碍广泛性发育障碍（Pervasive Developmental Disorder；简称PDD），又称社交障碍、发育迟缓，是一个与特殊性发育障碍（Specific Developmental Disorders；SDD）相对的名词，专指一组五种与多种
人类嗜T淋巴球病毒一型Human T-lymphotropic virus人类嗜T淋巴球病毒一型(Human T-lymphotropic virus 1, HTLV-1)是一种感染后可导致血癌或其他转移癌的病毒，由输血、针头、性行为、母子传染。该
周边血管疾病周边动脉疾病（Peripheral artery disease, PAD），可以称为周边血管疾病（Peripheral vascular disease, PVD）、周边动脉阻塞性疾病（Peripheral artery occlusive disease, PAOD），或是
贾拉拉巴德贾拉拉巴德可以指：
武尔卡诺岛武尔卡诺岛（Vulcano）是意大利第勒尼安海中的一个火山岛，在西西里岛以北25千米，是伊奥利亚群岛8个岛中位置最靠南的一个。面积21平方千米，海拔500米。岛上有意大利四个活跃的非海
艾赛尼派艾赛尼派（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
大韩民国总统外交 · 南北统一 · 阳光政策 · 行政区划 · 人权（朝鲜语：대한민국의 인권）政治主题大韩民国总统（韩语：대한민국 대통령／大韓民國大統領 Daehanminguk Daetongnyeong ?），通
视网膜脱落视网膜脱落（英语：Retinal detachment）是因视网膜从下层支撑组织上剥离下来而导致的急性眼部疾病。症状包括飞蚊症的数量增加，闪光症（英语：photopsia），视野外部恶化，有点类似视野一部
踝在解剖学上，脚踝（拼音：jiǎo huái），或称踝关节是人类足部与腿相连的部位，组成包括7块跗骨加上足部的跖骨和小腿的骨骼。
构拟历史语言学（英语：historical linguistics），亦称越时语言学或历时语言学（diachronic linguistics）、演化语言学，是由弗迪南·德·索绪尔创立的一门研究语言变化的学科，主要研究语言在