isInnerRegularOnOpenSets
P102505
predicate
Indicates that a measure is inner regular when restricted to open sets, meaning the measure of each open set equals the supremum of the measures of compact subsets contained within it.
All labels observed (1)
| Label | Occurrences |
|---|---|
| isInnerRegularOnOpenSets canonical | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: isInnerRegularOnOpenSets
Generated description
Indicates that a measure is inner regular when restricted to open sets, meaning the measure of each open set equals the supremum of the measures of compact subsets contained within it.
Sample triples (1)
| Subject | Object |
|---|---|
| Lebesgue measure | true ⓘ |