What are the properties of the density operator?

The density operator has the property Tr(ρ²) ≤ 1, with equality if one of the prior probabilities is 1 and all the rest 0: ρ = |ϕ_n〉〈ϕ_n |; the density operator is then a projection operator.