空集的子集就是空集,但空集没有真子集.
任何非空子集共有有一个子集,就是空集,并且是真子集.