是一组定义在标量域F上的元素（向量）的集合，并且满足如下条件：