空集是任何非空集合的真子集