设W是数域F上的向量空间V的一个非空子集，若W对于V的加法和数量乘法具有封闭性，则称W是V的一个向量子空间，简称子空间。