Lebesgue-measure-preserving map (source code)

= Lebesgue-measure-preserving map
{c}
{title2=$S_*\operatorname{Leb}=\operatorname{Leb}$}

Such a measurable self-map preserves <Lebesgue measure>. On the unit interval examples include the identity, reflection $t\mapsto1-t$, and $t\mapsto2t\pmod1$. Invertibility is not required.