bezeichnet die "partielle Spur" oder "Partialspur" der Matrix . ist auf einem Tensorprodukt von Hilberträumen definiert: . Seien nun eine Orthonormalbasis von und von , und sei die lineare Abbildung von nach mit (mit Kronecker-Delta ), dann ist