⫋在数学中是什么意思

更新时间：2026-05-13 23:18:23

⫋在数学中的意思是包含但不等于。

举个例子：A⫋B的意思是集合A包含于但不等于集合B，就是说集合A的所有元素都在集合B中，但集合B还有不属于集合A的元素。如果这个符号没有下面的不等于号，就是A⊂B，就是集合A包含于集合B，集合A和B有可能相等。

对于两个集合A、B，如果集合A中任意一个元素都是集合B中的元素，我们就说这两个集合有包含关系，称集合A为集合B的子集。记作A⊆B（或B⊇A），读作“A包含于B”（或“B包含A”）。

即，对于集合A与B，∀x∈A有x∈B，则A⊆B。可知任一集合A是自身的子集，空集是任一集合的子集。

真子集：如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，称集合A与集合B有真包含关系，集合A是集合B的真子集。记作A⫋B（或B⫌A），读作“A真包含于B”（或“B真包含A”）。

即：对于集合A与B，∀x∈A有x∈B，且∃x∈B且x∉A，则A⫋B。空集是任何非空集合的真子集。

猜你喜欢