Lebesgue外測度

$ \mu^*:2^{\R^n}\ni A\mapsto\inf_{\mathcal B'\subseteq\overline{\R}^n\land A\subseteq\bigcup\mathcal B'}\sum_{B\in\mathcal B'}\operatorname{vol}(B)\in\overline{\R}

$ \lambda^*(A):=\inf\{\sum_{i\ge 1}|Q_i||\bigcup Q_i\supseteq A\land Q_i\in\mathcal E_d\}

References