Metric outer measure (source code)

= Metric outer measure
{wiki=Metric_outer_measure}

The concept of a metric outer measure is a way to extend the notion of "size" or "measure" of subsets of a metric space. It builds on the idea of open covers and the associated infimum of sums of the measures of covering sets. Here’s how it works in a structured manner: \#\#\# Definition Let \\((X, d)\\) be a metric space.