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