In quantum mechanics, especially quantum information, purification refers to the fact that every mixed state acting on finite-dimensional Hilbert spaces can be viewed as the reduced state of some pure state.
In purely linear algebraic terms, it can be viewed as a statement about positive-semidefinite matrices.
Let ρ be a density matrix acting on a Hilbert space of finite dimension n. Then there exist a Hilbert space and a pure state such that the partial trace of with respect to