类

✍ dations ◷ 2025-11-29 11:58:24 #类

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

相关

生化武器生化武器（Biochemical Weapon）包括生物武器和化学武器两种，是指以细菌、病毒、毒素等使人、动物、植物致病或死亡的物质材料制成的武器，它们都属于大规模杀伤性武器。生物武器过
流汗汗液，或汗，是由人等高等动物透过汗腺所分泌出的液体。汗的分泌受到植物性神经系统调节。汗液的主要成分是水，约占总成分的98%到99%，其余物质为氯化钠，极少量的尿素、氨和其他盐类
氟喹诺酮喹诺酮（英语：quinolone）是一类人工合成的含4-喹诺酮基本结构，对细菌DNA螺旋酶具有选择性抑制的抗菌剂。1962年最早的喹诺酮类药物萘啶酸首先用于临床，由于其抗菌谱窄、口服吸收差
阿托品阿托品（Atropine），又称阿托平。是一种用来治疗神经毒气或杀虫剂中毒（英语：Pesticide poisoning）的药物，也用在某些心跳过缓，与手术时减少唾液分泌用，一般会以静脉注射或肌肉注射给药，
伤寒杆菌肠道沙门氏菌（学名：Salmonella enterica）是一种有鞭毛的革兰氏阴性菌及沙门氏菌属的一员。肠道沙门氏菌有着极其大量的血清型：大约有2000个不同的血清型。就如伤寒杆菌（学名Salmo
热力学自由能热力学自由能（英语：Thermodynamic free energy）是指一个热力学系统的能量中可以用来对外做功的部分，是热力学态函数。自由能可以作为一个热力学过程能否自发进行的判据。对限定
安省安省可以指：
药物滥用物质滥用（英语：Substance abuse）广义上也被称为药物滥用（英语：drug abuse），药物滥用是指经常用于临床效力的处方药使用，但是滥用潜力和已知的反作用与不适当使用联系在一起，比如有镇
金属疲劳疲劳一词在材料科学领域，意指物件因持续受到动态变化的应力而造成结构劣化。引起疲劳的动态变化应力通常远小于静态的极限拉伸应力或极限屈变应力。疲劳是渐进且局部的结构
偏正短语偏正短语是短语的结构分类之一，它由两个成分以“修饰—受修饰”的关系（修饰关系）组成的。偏正短语又可以分为定中短语和状中短语两类。偏正短语由一个“偏”的修饰成分和一个“