类

✍ dations ◷ 2025-11-27 01:20:34 #类

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

相关

鼻咽癌鼻咽癌（NPC, Nasopharyngeal Carcinoma）是一种发生于鼻咽腔或上咽喉部的癌症。在世界的某些地区，例如东南亚和非洲，患此病的人比其他地方多，过去认为是主要是膳食的影响，目前倾向
艾滋病毒抗体测试HIV检测，指检测人体是否感染人类免疫缺陷病毒，做为输血、器官移植前的检查和艾滋病的诊断、治疗及追踪。HIV检测是侦测血浆、血清、唾液、干血点或尿液等人体体液之中的抗体、
疾病管制局卫生福利部疾病管制署（简称疾管署），是中华民国卫生福利部辖下的一个所属机关，负责建立现代化防疫体系。
文化经济学文化经济学是经济学的一个分支，研究文化对经济成果的影响。主要研究问题包括文化是否影响经济成果、文化对经济结果影响的程度，以及它与社会制度之间的关系。主题包括艺术和
顺丁烯二酸马来酸（maleic acid），即顺丁烯二酸，化学式为 HO2CCHCHCO2H，是一种二羧酸，即一个含有两个羧酸官能基的有机化合物。马来酸和富马酸（反丁烯二酸）互为顺反异构物。马来酸常用来制备富马
化学核化学（英语：Nuclear chemistry，又称为核子化学）是研究原子核（稳定性和放射性）的反应、性质、结构、分离、鉴定等的一门学科。例如，研究不同的次原子粒子怎样共同形成一个原子核以
延髓延髓（英语：medulla oblongata），为中央神经系统的一部分，是脑干最下方的结构，位于小脑正前方。长约一吋半，宽约半吋。上接脑桥（pons） ,下接脊髓(spinal cord)。它具有第九至第十二颅神
古典时代古典时代（或称为古典时期、古典古代、古风时期，英语：Classical antiquity）是对希腊罗马世界（英语：Greco-Roman world）（以地中海为中心，包括古希腊和古罗马等一系列文明）的长期文化史的
西里尔字母U+0400至U+04FF U+0500至U+052F（补充） U+2DE0至U+2DFF（扩展A） U+A640至U+A69F（扩展B）西里尔字母（俄语：Кирилли́ческий алфави́т或Кири́ллица，转写：Ki
逻辑代数在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代数中变量的值是数字，而且主要的运算是加法、