In measure theory, a pushforward measure is obtained by transferring a measure from one measurable space to another using a measurable function. Wikipedia