关系,子集,真子集,空集概念