noun · (math.) subspace

任何向量空间的子空间都必须包含零向量。