类

✍ dations ◷ 2025-12-08 01:03:36 #类

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

相关

免疫细胞免疫细胞（英语：immunocyte），泛指所有参与免疫反应的细胞，也特指能识别抗原，产生特异性免疫应答的淋巴细胞等。主要包括T淋巴细胞、B淋巴细胞、单核细胞、巨噬细胞、粒细胞、肥大细
病毒病毒性疾病（viral disease；viral infection；infectious disease）发生时，生物体被病原体侵入，感染性病毒颗粒附着并进入易感细胞。病毒性疾病通常通过临床表现来检测，例如发烧前的严
华盛顿大学华盛顿大学（英语：University of Washington，缩写为UW），一所位于美国华盛顿州西雅图的公立研究型大学。创建于1861年，是美国西岸最古老的大学，也是美国西北部最大的大学。在1990年的
单糖单糖（monosaccharides (源自希腊语 monos: single, sacchar: sugar), 亦称：simple sugars）是碳水化合物的一种，其结构在众多糖分子中是最简单的。味道甜美，能溶于水和会结晶。单
牛乳牛乳，俗称牛奶，是最古老的天然饮料之一。顾名思义，牛乳是牛的乳汁。在不同国家，牛乳也分有不同的等级，目前最普遍的是全脂、高钙低脂及脱脂牛乳。美国将牛乳按照脂肪含量分为五类
道德发展柯尔伯格道德发展阶段（或译为柯尔堡道德发展阶段，英语：Lawrence Kohlberg's stages of moral development），是美国心理学家劳伦斯·柯尔伯格用以解释道德判断发展的理论。1958年，
青春期青春期（英语：puberty）是人体（或其他生物）生殖机能及生理机能成熟、心理和生理由儿童转到成人的时期。普通小型哺乳动物一、两岁就能性成熟，对人类而言一般指15岁到19岁左右的年龄
前体B细胞淋巴细胞白血病前体B细胞淋巴细胞白血病(Precursor B-cell lymphoblastic leukemia)是淋巴白血病(Lymphoid leukemia)的一种形式，大多数的B细胞淋巴母细胞(Lymphoblast、未成熟的白血球)被
5号染色体人类的5号染色体是23对染色体的其中之一，正常状况下每个细胞拥有两条。此染色体含有大约181百万个碱基对，占细胞内所有DNA将近6%。其中有900到1300个基因，依预测方式而有所不同
康托尔定理康托尔定理指的是在ZFC集合论中，声称任何集合A的幂集（所有子集的集合）的势严格大于A的势。康托尔定理对于有限集合是明显的，但是令人惊奇的是它对于无限集合也成立。特别是，可数