Definition:Trace of Linear Operator