isSigmaFinite
P102502
predicate
Indicates that a measure (or measure space) can be decomposed into a countable union of measurable sets, each having finite measure.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| isSigmaFiniteOn | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Lebesgue measure | true ⓘ |
| Hausdorff measure | many natural geometric sets via predicate surface "isSigmaFiniteOn" ⓘ |