Assertion: partial trace | /r/HasProperty | tr w t
Facets:
Source sentences:
text: converges in the strong operator topology of L(V), it is independent of the chosen basis of W. The partial trace Tr W (T) is defined to be this operator.