===== Lebesgue measure =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $p\in \mathbb N$ |

| @#FFBB00: definiendum | @#FFBB00: $\lambda^p\equiv\eta^p|_{\mathfrak{L}^p}$ |

==== Discussion ====
$\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.
=== Reference ===
Wikipedia: [[http://en.wikipedia.org/wiki/Lebesgue_measure|Lebesgue measure]]
==== Parents ====
=== Subset of ===
[[Measure]]
=== Context ===
[[Lebesgue measurable subsets of ℝⁿ]], [[Restricted image]]