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