子集是不是可以分为真子集和互为子集