“空集是任何集合的真子集”的否定?