真子集的符号写为⫋。
如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集（proper subset）。
记作A⫋B（或B⫌A），读作“A真包。
真子集的符号是⫋。
如果集合AB，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合A是集合B的真子集。
记作AB（或BA），读作“A真包含于B”（或“B真包含A”）。
对于集合A与B，x∈。
真子集的符号写为⫋。
如果集合A的任意一个元素都是集合B的元素，那么集合A称为集合B的子集，记为A⊆B或B⊇A，如果集合A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包。
子集：AB。
真子集：AB。
子集的符号语言：若a∈A，均有a∈B，则AB。
真子集的符号语言：如果集合AB，存在元素x∈B，且元素x不属于集合A，集合A是集合B的真子集。
记作AB。
当存在两个集合，它们分别为集合A与集合B的。
子集的符号∈，真子集的符号⫋。
子集 一般地，对于两个集合A、B，如果集合A中任意一个元素都是集合B中的元素，我们就说这两个集合有包含关系，称集合A为集合B的子集（subset）。
记作A⊆B（或B⊇A。