induced measure definition For a measure space and a [[20231205121417-sigma_algebra|-algebra]] , with a measurable function/ map the induced measure is Proof this is a measure because Countable additivity holds because for and disjoint, and are disjoint.