An operation of tensor algebra that is obtained by setting unlike indices equal and summing according to a summation convention.
→ contraction; → tensor.