查看“︁超集”︁的源代码

超集是集合论中的基本概念，指一个集合包含另一个集合的所有元素。若集合A是集合B的超集，则B是A的子集。超集关系在数学、逻辑学以及编程语言的类型系统中广泛应用，例如类型超集表示某类型包含另一类型的所有实例。

{{#seo:
 |description=超集是数学集合论中的概念，若集合A包含集合B的所有元素，则A是B的超集。常见于数学和编程语言类型系统。
}}
{{信息框
| 标题 = 超集
| 原文名 = Superset
| 类型 = 数学概念
| 分组1 = 基本信息
| 字段1名 = 相关领域
| 字段1值 = 集合论、数学基础、类型理论
| 字段2名 = 定义
| 字段2值 = 若集合A包含集合B的所有元素，则A是B的超集
| 字段3名 = 表示
| 字段3值 = A ⊇ B
| 字段4名 = 例子
| 字段4值 = {1,2,3} 是 {1,2} 的超集
| 字段5名 = 应用
| 字段5值 = 编程语言中的类型超集，如TypeScript是JavaScript的超集
}}
{{SHORTDESC:数学集合论中的包含关系概念}}
{{外部百科导航}}