空集是任何非空集合的真子集。()
出自:兰州工业大学线性代数