子集：所有元素都在本来集合内。真子集：不算和原集合完全一样的那个。非空子集，非空真子集：字面意思。非空，其他见前面