类

✍ dations ◷ 2025-11-24 17:42:02 #类

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

相关

抽血检查血液检查（英语：Blood test），是指通过采血以获得受检者的血液，并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
糙皮病糙皮病又称癞皮病，是一种维生素缺乏性疾病，主要诱因是缺乏维生素B3（烟酸）和蛋白质，特别是含必需氨基酸色氨酸的蛋白质。色氨酸能被转化为烟酸，大约60mg色氨酸能被转化成1mg烟酸，过
中间宿主中间宿主（intermediate host或secondary host）是指寄生物的幼虫、童虫或于无性生殖阶段时用以寄生的物种。如需两个以上中间宿主，则依顺序称第一、第二中间宿主等。这类宿主也
头虱头虱（学名： Pediculus humanus capitis）是虱的一种，寄生于人类的头发或颈部的毛发之中。在人类身体其他毛发上寄生的虱都不是头虱。头虱呈褐色或灰色，有头、胸、腹三部分，以及六只
RTA 1远端肾小管性酸中毒(Distal renal tubular acidosis、dRTA、或"1型肾小管酸中毒"(RTA 1))是RTA的传统形式，为RTA第一个描述的病症。远端RTA的特征在于远端肾单位的集合管系统
核裂变产物核裂变产物即指核裂变过程中生成的产物。核裂变是指由较重的（原子序数较大的）原子，主要是指铀或钚，裂变成较轻的（原子序数较小的）原子的一种核反应形式。原子弹以及核电站的能量来
锌镉合金锌镉合金，是由锌与镉融合在一起的合金材料。锌镉合金为银白色，与镁的颜色一样，故俗称为镁锌合金，但其实并没有镁的成分在里面。
威耳姆氏肿瘤肾母细胞瘤（英语：Nephroblastoma，也称为威耳姆氏肿瘤或Wilm's tumour）是一种从肾脏开始的癌症。它是儿童中最常见的肾癌类型。它以德国医生马克斯·威尔姆斯（Max Wilms）的名字命名
形式语言在数学、逻辑和计算机科学中，形式语言（英语：Formal language）是用精确的数学或机器可处理的公式定义的语言。如语言学中语言一样，形式语言一般有两个方面：语法和语义。专门研究语
自然语言处理自然语言处理（英语：Natural Language Processing，缩写作 NLP）是人工智能和语言学领域的分支学科。此领域探讨如何处理及运用自然语言；自然语言处理包括多方面和步骤，基本有认知、