The Wigner function W (x, p) discussed here is thus seen to be the Wigner transform of the density matrix operator ρ̂. Thus the trace of an operator with the density matrix Wigner-transforms to the equivalent phase-space integral overlap of g (x, p) with the Wigner function.