类

✍ dations ◷ 2025-11-26 18:30:28 #类

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

相关

I急性风湿热（I00-I09）高血压病（I10-I15）缺血性心脏病（I20-I25）肺原性心脏病和肺循环疾病（I26-I28）其他类型的心脏病（I30-I52）脑血管病（I60-I69）动脉、小动脉和毛细血管疾病（I70-I79）静脉、
展青霉素ClairforminClaviformExpansineClavacinClavatinExpansinGigantinLeucopinPatuline展青霉素（英语：Patulin）是一种有毒的真菌代谢产物，它是一种神经毒物，具有致畸性和致癌性。很多
领鞭毛虫纲领鞭毛虫纲（学名：Choanoflagellate）是一种原生生物，是单细胞或群体。拥有一根鞭毛，形态类似于淡水海绵的群体，表面的酪氨酸激酶受体也类似于海绵，被认为是动物的姐妹群。领鞭毛虫的
依法利珠单抗依法利珠单抗（Efalizumab，药品商品名为 Raptiva，瑞体肤，默克）是牛皮癣的治疗用药，是一种抗CD11a的单克隆抗体制剂，其作用机制是辨识白血球上的CD11a抗原，使白血球与其他细胞附着的能
非正统经济学思想非主流经济学（英语：Heterodox economics），又称异端经济学、非正统经济学，是指采取不同于主流经济学研究方法的经济学学派的概称。主流经济学，又称正统经济学，是指在英语世界中，具备
马偕医院台湾基督长老教会马偕医疗财团法人马偕纪念医院，一般简称马偕纪念医院、马偕医院，是台湾基督长老教会属下的医院。1872年3月9日马偕来到淡水。1879年12月26日马偕首次返国述职
环境监测作业环境监测是通过对人类和环境有影响的各种物质的含量、排放量的检测，跟踪环境质量的变化，确定环境质量水平，为环境管理、污染治理等工作提供基础和保证。简单地说，了解环境水
红蟳锯缘青蟹（学名：Scylla serrata），也叫蝤蛑、蝤蝥、青蟹、黄甲蟹，是梭子蟹科青蟹属的动物。在福州和台湾，雄性、未受精的雌性、受精后的雌性锯缘青蟹又分别称为“菜蟳”、“处女蟳”
犹太-罗曼语支犹太-罗曼语是由罗曼语言转化而来，它仍在某些犹太人群中使用，并且为了获得作为一门语言的认同，它演变为现在的形式，成为了数量众多的犹太语中的一种。加泰罗尼克语，或称犹太-加泰
临高语临高语，又称临高话，是海南岛北部临高人所使用的一种语言，属于侗台语系，使用人数约60万。尽管临高人被认为是汉族人，但临高话并非汉语的一种。临高语一般分成东西两种方言：15-17个