集合拓扑符号大全

本页面共收录了 31个 集合论与拓扑学符号，覆盖了从基础元素关系到复杂集合运算（交、并、补、差）、子集与真子集、超集、集合族运算（大交大并）、空集、幂集、势（阿列夫数）、边界、微分算子等关键符号。这些符号在集合论、点集拓扑、实分析、抽象代数以及现代数学的各个分支中均有核心地位。下面将逐一介绍每个符号的技术参数、数学含义与使用场景。

∈ 元素关系符号

属于（∈）表示元素与集合的隶属关系，是最基本的集合符号之一，常用于 x ∈ A 表示 x 是集合 A 的元素。它的Unicode是U+2208，LaTeX命令为\in，HTML实体是∈。不属于（∉）表示元素不属于集合，Unicode为U+2209，LaTeX命令为\notin或\not\in，HTML实体是∉。包含作为元素（∋）表示集合包含某个元素，是∈的反向形式，Unicode为U+220B，LaTeX命令为\ni，HTML实体是∋。不包含作为元素（∌）是∋的否定，Unicode为U+220C，LaTeX命令为\not\ni，HTML实体是∌。这组符号在定义集合成员关系时不可或缺，使用时注意LaTeX中\notin可直接生成∉，而∌需组合命令。

⊂ 子集与包含关系

子集（⊂）表示集合A是B的子集，允许相等的情况（部分文献中代表真子集，现代用法趋向于包含相等）。它的Unicode是U+2282，LaTeX命令为\subset，HTML实体是⊂。超集（⊃）表示A包含B，是⊂的逆关系，Unicode为U+2283，LaTeX命令为\supset，HTML实体是⊃。不包含于（⊄）表示A不是B的子集，Unicode为U+2284，LaTeX命令为\not\subset，HTML实体是⊄。不超集（⊅）表示A不包含B，Unicode为U+2285，LaTeX命令为\not\supset，HTML实体是⊅。严格子集与超集（真子集、真超集）对应符号⊊、⊋，下文详述。注意集合论中关于“⊂”是否包含相等存在歧义，建议在文档开头声明或使用⊆、⊊明确含义。

⊆ ⊆ 包含相等与真子集

子集或等于（⊆）明确表示子集包含相等的情形，是避免歧义的最佳实践，Unicode为U+2286，LaTeX命令为\subseteq，HTML实体是⊆。超集或等于（⊇）明确表示超集包含相等，Unicode为U+2287，LaTeX命令为\supseteq，HTML实体是⊇。真子集（⊊）表示严格包含，即A是B的子集但A≠B，Unicode为U+228A，LaTeX命令为\subsetneq，HTML实体是⊊。真超集（⊋）表示严格包含，Unicode为U+228B，LaTeX命令为\supsetneq，HTML实体是⊋。不包含于或等于（⊈）是⊆的否定，Unicode为U+2288，LaTeX命令为\nsubseteq，HTML实体是⊈。不超集或等于（⊉）是⊇的否定，Unicode为U+2289，LaTeX命令为\nsupseteq，HTML实体是⊉。在严谨数学写作中推荐使用⊆、⊇、⊊、⊋以明确包含关系。

∩ ∪ 集合交并运算

交集（∩）表示两个集合的共同元素组成的集合，Unicode为U+2229，LaTeX命令为\cap，HTML实体是∩。并集（∪）表示两个集合所有元素组成的集合，Unicode为U+222A，LaTeX命令为\cup，HTML实体是∪。在LaTeX中对于多个集合的交并可使用\bigcap、\bigcup得到大型运算符。大交集（⋂）和大并集（⋃）通常用于表示一族集合的交集与并集，Unicode分别为U+22C2和U+22C3，LaTeX命令为\bigcap和\bigcup，HTML实体为⋂和⋃。帽运算符（⊓）和帽运算符（⊔）在格论或抽象代数中常表示交与并（meet和join），Unicode为U+2293和U+2294，LaTeX命令为\sqcap和\sqcup，HTML实体为⊓和⊔。交并运算满足德摩根律，在集合代数、概率论中应用极广。

∖ ∁ 差集与补集

差集（∖）表示相对补，A ∖ B 表示属于A但不属于B的元素，Unicode为U+2216，LaTeX命令为\setminus，HTML实体是∖。注意反斜杠\在LaTeX中也可用于表示差集，但\setminus排版更美观。补集（∁）表示全集中的补集，常写作∁_UA或A的补，Unicode为U+2201，LaTeX命令为\complement，HTML实体是∁。补集符号在概率论与测度论中也常见，使用时注意明确定义全集范围。

∅ ℘ ℵ ℶ 空集与势

空集（∅）表示不含任何元素的集合，是集合论的基础，Unicode为U+2205，LaTeX命令为\emptyset或\varnothing，HTML实体是∅。两种LaTeX样式略有差异，推荐使用\varnothing以获得更圆润的视觉效果。幂集（℘）表示一个集合所有子集构成的集合，Unicode为U+2118，LaTeX命令为\wp，HTML实体是℘，℘(A)代表A的幂集。阿列夫数（ℵ）表示无穷集合的势，如ℵ₀是可数无穷的势，Unicode为U+2135，LaTeX命令为\aleph，HTML实体是ℵ。拜特数（ℶ）是另一类无穷基数，Unicode为U+2136，LaTeX命令为\beth，HTML实体是ℶ，在连续统假设相关讨论中出现。这些符号在集合论、基数理论中至关重要。

∂ ∘ ∆ ∇ 拓扑与微分算子

偏微分（∂）常用于表示边界或偏导数，在拓扑中∂A表示集合A的边界，Unicode为U+2202，LaTeX命令为\partial，HTML实体是∂。函数复合（∘）表示函数的复合运算，Unicode为U+2218，LaTeX命令为\circ，HTML实体是∘，在拓扑中同伦或映射复合时使用。拉普拉斯算子（∆）表示拉普拉斯算子，也可表示差分，Unicode为U+2206，LaTeX命令为\Delta，HTML实体是Δ，在微分几何与偏微分方程中常见。梯度/纳布拉（∇）表示梯度、散度或旋度，Unicode为U+2207，LaTeX命令为\nabla，HTML实体是∇，是向量分析中的核心算子。证明结束符（∎）用于标识证明完成，QED符号，Unicode为U+220E，LaTeX命令为\blacksquare或\square，HTML实体是∆。这些符号连接了分析学、拓扑学与几何学。

📌 集合拓扑符号的使用建议

在撰写涉及集合论或拓扑学的文档时，有几点需要特别注意：第一，关于子集符号⊂与⊆，国际标准ISO 80000-2建议⊂表示包含相等，而真子集使用⊊，但在旧文献中⊂常表示真子集，因此推荐明确使用⊆和⊊以避免歧义。第二，差集符号∖与反斜杠\在视觉上相似，但在LaTeX中\setminus会产生更合理的间距，而\backslash通常用于集合差以外的场景。第三，空集符号∅与北欧字母Ø外观接近但语义不同，务必使用数学专用符号。第四，对于大型交⋂和并⋃，在行内公式中建议使用\bigcap和\bigcup，若在行间公式则自动缩放。第五，补集符号∁在文本中可能显示异常，可结合下标使用。第六，涉及无穷基数ℵ与ℶ时，使用LaTeX的\aleph与\beth命令，注意需要加载amssymb宏包才能正确显示ℶ。第七，拓扑中的边界∂A与偏导数符号相同，上下文需区分，通常拓扑边界写作∂A或bd(A)。第八，证明结束符∎可在LaTeX中使用\qedsymbol命令，部分模板自动添加。遵循这些惯例能够显著提升数学排版的质量和严谨性。

💡 使用提示

若您需要复制符号的Unicode、LaTeX命令或HTML实体，请直接点击上方符号卡片，在详情弹窗中点击对应项即可一键复制。此外，每个符号均可生成SVG矢量源码或下载512×512透明背景PNG图片，方便在演示文稿、网页设计或学术海报中直接使用。在撰写数学论文时，强烈推荐使用LaTeX命令，以确保字体、间距和渲染效果最符合数学排版规范，尤其对大型算子（⋂、⋃）和复杂嵌套表达式，LaTeX能提供完美的自动调整。