类

✍ dations ◷ 2025-11-25 06:53:14 #类

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

相关

绝症绝症（英语：Incurable deadly disease）是医学意义上无法医治的致命永久性疾病。有些疾病在以前是绝症，之后出现治疗方法后就不再是绝症，所以绝症这个词有时效性。某些疾病在医理上
结晶性关节病变结晶性关节病变是一种关节疾病（关节变病），特征是微小晶体沉积在一个或多个关节中。应用偏光显微镜（英语：Polarized light microscopy）和其他晶体学技术协助鉴定各种不同的微晶，包括
西岸美洲西岸（West Coast、Western Seaboard或Pacific Seaboard）指美国西部的州，位于太平洋海岸，一般包括阿拉斯加、华盛顿州、俄勒冈州和加利福尼亚州。虽然内华达州和亚利桑那州是
刺身刺身（日语：刺身／さしみ sashimi *；或音译沙西米），多指生鱼片，但也可用鸡肉、马肉或是任何可以切成片状食用的食材制作，是一种常见的日本料理。其做法是以新鲜的鱼贝类生切成片，蘸酱
联合国宪章《联合国宪章》（英文：Charter of the United Nations）是联合国建立的基础条约，它既确立了联合国的宗旨、原则和组织机构设置，又规定了成员国的责任、权利和义务，以及处理国际关系
哥伦比亚大陆哥伦比亚大陆（Columbia supercontinent，或称为Nuna、Hudsonland）是地球历史上最古老的几个超大陆。2002年由约翰·罗杰斯和Santosh Madhava Warrier 提出。一般认为哥伦比亚大
兽医学兽医学（英语：veterinary medicine 或 veterinary science）是一门应用医学诊断与治疗方法来处理动物问题的学门，面对的动物包括宠物、野生动物或家畜与家禽等。兽医学除了研究一
市长市长（英语对应词：Mayor，出自拉丁文“māior”，“较大的”的意思）是近现代城市或市镇中最高行政首长的职称。在许多政府系统里，市长是由市民选出为一个城市最高行政长官、或为一个
排遗排遗是生物体将食物经口进入如胃、小肠等消化器官消化吸收后，排除不能消化的剩余废物的过程，如排便等。排泄的关键词是代谢后的废物或其它产物的排出，指的是经过体内生化反应后
隶变陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧