如果集合A是集合B的子集，并且集合B不是集合A的子集，那么集合A叫做集合B的真子集（propersbset）。如果A包含于B，且A不等于B，就说集合A是集合B的真子集。

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

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

免责声明：本站文字信息和图片素材来源于互联网，仅用于学习参考，如内容侵权与违规，请联系我们进行删除，我们将在三个工作日内处理。联系邮箱：chuangshanghai#qq.com（把#换成@）