类

✍ dations ◷ 2025-12-01 08:49:51 #类

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

相关

金属蛋白金属蛋白（英语：Metalloprotein）是一类含有配位结合的金属离子作为辅因子的结合蛋白质。所有蛋白质中有大量是属于这一类。据估计，所有蛋白质中有大约一半含有金属。据另一个估计
喷昔洛韦喷昔洛韦（Penciclovir）是鸟嘌呤类似物类抗病毒药物，用于治疗多种疱疹病毒感染。具有毒性低，病毒敏感性高等特点。喷昔洛韦口服吸收低，常用于局部给药。泛昔洛韦是喷昔洛韦的前
咽喉癌头颈癌（Head and Neck Cancers）是指位于头颈部位，除了脑癌以外的其他恶性肿瘤。较常见有口腔癌、鼻咽癌，另外还有口咽癌、下咽癌、喉癌、鼻窦癌、唾液腺癌以及甲状腺癌等。头颈
服务业第三级产业，又称服务业，是指位处一件产品的生产链中最上层的行业，这些行业在一件产品的生产链中担任物流、分销、中介等工作。第三级产业需要接触产品的终端顾客，是该产品自生产
世界无烟日世界无烟日（英语：World No Tobacco Day，或译世界无烟草日），是世界卫生组织在1987年创立的，现在每年的5月31日就是世界无烟日。第一个世界无烟日是1988年4月7日。世界无烟日的意义
维博瓦伦蒂亚维博瓦伦蒂亚（意大利语：Vibo Valentia），是意大利维博瓦伦蒂亚省的一个市镇。总面积46.34平方公里，人口33813人，人口密度729.7人/平方公里（2009年）。
倭马亚王朝倭马亚王朝（阿拉伯语：أمويون‎），或译为伍麦叶王朝、奥米雅王朝、奥玛雅王朝，在古中国《旧唐书》中被称为白衣大食，是由倭马亚家族统治的哈里发国，是阿拉伯帝国的第一个世袭王
苏丹黑B苏丹黑B（C29H24N6）是一种重氮脂肪染色剂，用于染中性的脂质冰冻切片和一些脂蛋白的石蜡切片。正常情况下为黑褐色或黑色粉末状。苏丹黑B是苏丹染剂之一，可用来提取指纹以及给成髓
失禁失禁（英语：Incontinence）可以指：
中国铁路25G型客车25G型客车，是中国铁路的空调铁路客车型号之一，分为普通型及国际联运型。25G型客车（G代表改进型，汉语拼音：GaiJin）是25A型客车的改进型。1991年，在168辆25A型新型空调客车试制和应用