类

✍ dations ◷ 2025-11-18 15:50:37 #类

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

相关

院内感染医疗照顾相关感染（英语：health care–associated infection（HAI or HCAI）），旧称院内感染（nosocomial infection）、医院感染或医院获得性感染（hospital-acquired infection（HAI））是指在医
妊娠并发症妊娠并发症（Complications of pregnancy）是有关妊娠的健康问题。在分娩时出现的并发症一般会称为是分娩并发症（英语：obstetric labor complication），在分娩之后的称为产褥期疾病（英
整骨疗法整骨疗法（Osteopathy），又称骨疗法、骨科医学，是替代医学的一种。由美国医师安德鲁·泰勒·斯提耳于1874年所创。是一种在整复方面对于骨头做的手法，其重点主要放在骨头与关节的徒
代谢代谢（英语：Metabolism /məˈtæbəlɪzəm/，来自希腊语：μεταβολή / metabolē “改变”），亦称新陈代谢，是生物体内维持生命的化学反应的集合。代谢是生物体维持生命的化学
不耐寒冷失温症（Hypothermia，源自希腊文“ὑποθερμία”），又称低温症、低体温症。描述当人体核心温度低于35.0 °C（95.0 °F）时的现象。失温症的症状取决于温度，轻度失温可能造成发
盘菌纲盘菌纲（英文：Pezizomycetes）是一个隶属于真菌下子囊菌门的一个纲。医学导航 · 真菌病真菌 · 分类疾病药物（抗真菌药）
嗜酸性白血球嗜酸性粒细胞（英语：Eosinophil, Eosinocyte 或 Acidophil，全稱 Eosinophilic granulocyte）是粒细胞中含有嗜酸性颗粒的一种，其他两种是中性粒细胞和嗜碱性粒细胞。其吞噬能力不如
超大陆超大陆（英语：supercontinent），一般定义为拥有一个以上陆核（continental core）或克拉通的大陆。以下为地质年代中曾出现与可能形成的超大陆，依照时间顺序排列：
果聚糖果聚糖是果糖分子的聚合物，存在于洋蓟、芦笋、四季豆、韭葱、洋葱、葱、菊薯、小麦等食物中。在动物饲料中，牧草也含有果聚糖，由此可以看出果聚糖可能是马科的饮食必需。果聚糖
洁食符合犹太教教规的食物（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Ts