类

✍ dations ◷ 2025-12-04 22:38:13 #类

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

相关

腐生细菌腐生生物指的是从其他生物尸体、动物组织或是枯萎的植物身上获得养分的生物。腐生生物不能自己进行光合作用，也不能自己制造有机养分，因此属于异养生物的一类。包含了真菌、细
阴道菌群阴道菌群（Vaginal flora）或阴道微生物（vaginal microbiota）是在阴道内生长的微生物，是由德国妇科医生艾伯特·窦特兰（英语：Albert Döderlein）在1892年发现，是人类微生物群系中的一部
IL-81ICW, 1IKL, 1IKM, 1IL8, 1ILP, 1ILQ, 1QE6, 1ROD, 2IL8, 3IL8· protein binding· response to molecule of bacterial origin · cellular component movement · infl
音叉音叉由弹性金属（多为钢）制成，末有一柄，两端分叉，型如拉丁字母‘U’。音叉拥有一固定的共振频率，受到敲击时则震动，在等待初始时的泛音列过去后，音叉发出的音响就具有固定的音高。一
头发头发，或称发，是指长在人类头部上的毛发。头发的颜色及其他特征是由基因决定，一般而言常见的有黑色、金黄色、棕色及红色等，当人类老化时，头发通常会变成银白色。不同民族的头发硬
CONORCONOR是斯洛文尼亚对COBISS系统中个人和公司名称的规范控制，该系统启动于2003年。CONOR记录作者的个人姓名及相关变量、标签、注释等信息，这些信息在整个系统中被唯一指定。目
噻唑噻唑（英语：thiazole），或1,3-噻唑（1,3-thiazole），是一个浅黄色可燃液体，气味与嘧啶类似，化学式为C3H3NS。它包含一个五元环，其中两个顶点分别是氮原子和硫原子，另外三个是碳原子。噻唑被
甲硝哒唑甲硝唑（Metronidazole，MNZ），目前多以咪唑尼达（Flagyl）的商品名流通，是一种抗生素和抗原虫剂（英语：antiprotozoal medication）。常单独或和其他抗生素一起使用，作为治疗骨盆腔炎、心内膜
骆驼骆驼属（学名：Camelus）通称骆驼，是一种偶蹄目骆驼科的动物，主要有单峰骆驼和双峰骆驼两种，多见于沙漠地带。因其在沙漠以及酷暑、严寒等恶劣自然环境下仍能良好生存的生理特点，沙漠
闪米特语族闪米特语族，译作閃語族、塞姆语族或閃米特語族，旧称叙利亚-阿拉伯语族，是亚非语系之下的语族之一，起源于中东地区，其下属语言约有3.3亿人作为母语，分布于西亚、北非和非洲之角，也