向量空间中包含一些给定向量的最小空间叫做什么?