Let be Separable Hilbert Space A density operator is a Linear Operator which is positive semi-Definite and has Trace one: