$\lambda^p:\mathfrak{L}^p\to \overline{\mathbb{R}}$ is the restriction of Lebesgue outer measure to a domain which contains only actually measurable sets.

Wikipedia: Lebesgue measure

Measure

Lebesgue measurable subsets of ℝⁿ, Restricted image