Assertion: measure | /r/HasProperty | the supremum of m(k
Facets:
value: over all compact subsets
type: LOCATION
value: for any open set
type: TRANSITIVE-OBJECT
Source sentences:
text: The measure m is called inner regular or tight if, for any open set U, m(U) is the supremum of m(K) over all compact subsets K of U.