induced measure definition For a measure space and a 20231205121417-sigma_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.