In a vector space with an inner product (also known as a metric) g, the term contraction is used for removing two contravariant or two covariant indices by forming a trace with the metric tensor or its inverse. For example, a (2, 0) -tensor T i j can be contracted to a scalar through T i j g i j (yet again assuming the summation convention).