實向量子空間實向量空間的非空子集若含零向量並對向量加法與每個實純量乘法封閉，則為向量子空間。atlas-vector-subspace · canonical_mko實向量子空間前置節點實向量空間子集合量詞與明示論域