isOuterMeasure
P156709
predicate
Indicates that a given set function satisfies the properties required to be an outer measure (defined on all subsets, null empty set, monotone, and countably subadditive).
Sample triples (1)
| Subject | Object |
|---|---|
| Hausdorff measure | true ⓘ |