 Pushforward measure

For a measurable map $f:X\to Y$, the pushforward of $\mu$ is the measureIt is the distribution induced on $Y$ by mapping points distributed according to $\mu$ through $f$.