The Partial Trace allows us to map a Density Operator into the Density Operator of a Reduced system. is also known as the Reduced trace It has the key defining properties:

In the above:

The definition of the partial trace follows from the condition . It is unclear how this property fully defines the trace. Help me ❓