设A是非空子集,则A至少有一个真子集?这个结论是正确的吗,求理由