isBorelRegular

P156708
predicate

Indicates that a measure (or set function) is Borel regular, meaning every measurable set can be closely approximated from above by Borel sets and from below by compact sets.

Sample triples (1)

Subject Object
Hausdorff measure true