类

✍ dations ◷ 2025-12-03 21:02:01 #类

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

相关

蚜虫包括10个科：蚜虫（英语：aphid，又称腻虫或蜜虫）是一类植食性昆虫，种类包括蚜总科（又称蚜虫总科，学名：Aphidoidea）下的所有成员。目前已经发现的蚜虫总共有十个科约4,400种，其中多数属于蚜
细胞质细胞质是一种使细胞充满的凝胶状物质。细胞质包含有胞质溶胶及除细胞核外的细胞器。原生质是由水、盐、有机分子及各种催化反应的酶所组成。细胞质在细胞内有着重要的角色，就
活性维生素D3胆钙化醇（英语：Cholecalciferol，又称为维生素D3或胆钙化固醇）是维生素D的一种，胆固醇脱氢后生成的7-脱氢胆固醇经紫外线照射即可形成胆钙化醇，因此也就是说胆钙化醇的维生素D原是7
包涵体包涵体（inclusion bodies），或包含体，是无定形的蛋白质的聚集，被膜所包围。细胞破碎后，包涵体呈颗粒状，致密，低速离心就可以沉淀。包涵体难溶于水中，在变性剂溶液（如盐酸胍、脲）中才能溶
多诺拉事件多诺拉事件也称多诺拉烟雾事件是1948年10月发生在在美国宾夕法尼亚州多诺拉（英语：Donora, Pennsylvania）的一起严重的大气污染事件。是一起以二氧化硫及其氧化产物等多种污染物
圈地在12到19世纪，在以英国为代表的欧洲出现了所谓的圈地运动（英语：Enclosure）。由中世纪到18世纪，整个欧洲的农业体系十分相似。土地所有权集中于国王（King）或取得罗马教廷承认的皇帝（E
巴鲁赫·斯宾诺莎斯宾诺莎（拉迪诺语：Baruch de Spinoza，拉丁语：Benedictus de Spinoza，1632年11月24日－1677年2月21日），西方近代哲学史重要的理性主义者，与笛卡尔和莱布尼茨齐名。斯宾诺莎的祖先是居
罗慕路斯·奥古斯都罗慕路斯·奥古斯都路斯（Romulus Augustulus，约463年－480年），或称罗慕路斯·奥古斯都（Romulus Augustus），全名弗拉维乌斯·罗慕路斯·奥古斯都（Flavius Romulus Augustus），西罗马帝国的
《格雷氏解剖学》《亨利·格雷氏人体解剖学》（英语：Henry Gray's Anatomy of the Human Body），通常简短地写成《格雷氏解剖学》（Gray's Anatomy），是一部英语人体解剖学教科书，解剖学的经典著作之一。
黏液素黏液素（英语：Mucins，或简称黏素）是一类高分子量蛋白家族，且高度糖基化（属于糖缀合物（英语：glycoconjugate）），在大部分后生动物的上皮组织中都有表达。黏液素的特色是它可以构成胶状物；因