[see also: maximum
Taking supremum over all g such that...... we get......
The measure of A is the supremum of the measures of its compact subsets.