Given two probability measures on two probability spaces, ($\mu, X$) and ($\gamma, Y$), what's the sufficient and necessary condition such that there is a measurable mapping $f:X\rightarrow Y$, such that $f^*\mu = \gamma$?