Question

集合是什么样的一种类型？

Answer 1

真子集的符号写为⫋。

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

真子集与子集的区别：

子集就是一个集合中的全部元素是另一个集合中的元素，有可能与另一个集合相等。

真子集就是一个集合中的元素全部是另一个集合中的元素，但不存在相等。

非空真子集：如果集合A⫋B，且集合A≠∅，集合A是集合B的非空真子集（nonvoid proper subset）。