如果集合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。空集是任何非空集合的真子集。
子集就是一个集合中的全部元素是另一个集合中的元素,有可能与另一个集合相等;
真子集就是一个集合中的元素全部是另一个集合中的元素,但不存在相等。
1、确定性
对任意对象都能确定它是不是某一集合的元素,这是集合的最基本特征。没有确定性就不能成为集合。如“很大的数”、“个子较高的同学”都不能构成集合。
2、互异性
集合中的任何两个元素都不相同,即在同一集合里不能出现相同元素。如把两个集合{1,2,3,4},{3,4,5,6,7}的元素合并在一起构成一个新集合,那么这个新集合只能写成{1,2,3,4,5,6,7}。
3、无序性
集合中的元素是平等的,没有先后顺序。因此判定两个集合是否相同,只需要比较他们的元素是否一样,不需考察排列顺序是否一样。如:{a,b,c}={a,c,b}。