一组向量可以由另一组线性表出,s>t,则相性先关