“⊆”是数学中表示集合间包含关系的符号，读作“包含于”。当集合A的所有元素都属于集合B时，记作A⊆B，此时A称为B的子集；若A≠B则称为真子集。空集是任意集合的子集，任何非空集合的真子集。该符号遵循集合论确定性、互异性、无序性原则，且含有n个元素的集合共有2ⁿ个子集（含自身）及2ⁿ−1个真子集 。
该符号源于19世纪集合论基础理论的建立，随后被纳入现代数学符号体系。相关定义通过逻辑表达式“∀x(x∈A→x∈B)”严格化，并与属于符号“∈”、真子集符号“⊂”等形成对照，明确了不同集合关系间的差异。作为集合论核心符号之一，其规范应用为代数、离散数学等领域提供了基础工具框架。
想要了解更多“⊆”的信息，请点击：⊆百科
