“空集是任意一个集合的子集”正确,那么“空集是任意一个集合的真子集”正确吗?