“赋范线性空间真的闭线性子空间是疏朗集”中的“真的”是什么意思?