ula_5本身是formula_4的向量空间，并且对所有formula_5中的formula_12及formula_13、所有"formula_4"中的formula_15、所有"formula_3"中的formula_17满足以下加法及标量乘法：在张量的语言中，"formula_3"的元素被称为反变或逆变（contravariant）向量，而formula_5的元素被称为共变或协变（covariant）向量、「余向量」或「同向量」（co-vectors），「线性型」或「一形」（one-form）。