jacky
真子集的符号写为⫋。
如果集合扮早A⊆B，存在元素x∈B，且元素x不属于集合A，我们称集合A与集合B有真包含关系，集合来自A是集合B的真子集灶空（p武布庆右绝存食厂架ropersubset）。记作A⫋B（或B⫌A），读作“A真包含于B”（或“B真包含A”）。
真子集与子集的区别：
子集就是一个集合中的全部元素是另一权弱冷整益孔个集合中的元素，有可眼推能与另一个集合相等。
真子集就是一个集合中的元素全部是另一个集合中的厅辩雀元素，但不存在相等。
非空真子集：如果集合A⫋B，且集合A≠∅，集合A是集合B的非空真子集（nonvoidpropersubset）。
