assumptionOnDomain
P26078
predicate
Indicates that a particular assumption or constraint is specified to hold over a given domain or set of entities.
Aliases (2)
- domainOfDiscourse ×1
- domainOfVariable ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Euler’s formula for complex exponentials | \theta \in \mathbb{R} via predicate surface "domainOfVariable" → |
| Glicksberg fixed-point theorem | nonempty compact convex subset → |
| axiom of choice | collections of nonempty sets via predicate surface "domainOfDiscourse" → |