Consider . Let be a basis for and be a basis for . Then define by: where is the Trace. Note that this extends to all Linear Operators in by linearity.