Luzin N property
In mathematics, a function f on the interval [a, b] has the Luzin N property, named after Nikolai Luzin (also called Luzin property or N property) if for all such that , there holds: , where stands for the Lebesgue measure.
Note that the image of such a set N is not necessarily measurable, but since the Lebesgue measure is complete, it follows that if the Lebesgue outer measure of that set is zero, then it is measurable and its Lebesgue measure is zero as well.
Every absolutely continuous function has the Luzin N property. The Cantor function on the other hand does not: the Lebesgue measure of the Cantor set is zero, however its image is the complete [0,1] interval.