Assertion: measure | /r/HasProperty | extended to measure
Facets:
Source sentences:
text: Indeed, one of the fundamental theorems in measure theory states that a pre-measure can be extended to a measure.