Внешняя мера множества - определение

Внешней мерой ограниченного множества $\Large E $ называется точная нижняя граница (инфинум) всевозможных открытых ограниченных множеств, содержащихся в этом множестве $\Large E$:

$\Large \underset{G \supset E}{m^* E} = inf \{mF\}$

ПРИМЕЧАНИЕ: в формуле выше звёздочка, расположенная как бы сверху от буквы $\Large m$ (в виде верхнего индекса) как раз показывает, что приведено определение (в виде "формулы") внешней меры, сравнение это с определением меры внутренней.