空集是所有子集的真子集吗