domainOfq
P79472
predicate
Indicates that a given entity serves as the domain (set of permissible inputs or arguments) for the quantity or relation denoted by q.
Observed surface forms (5)
- domainOfParameter ×3
- domainOfFunctor ×2
- valueDomain ×2
- domainOfθ ×1
- quantificationDomain ×1
Sample triples (10)
| Subject | Object |
|---|---|
| Atiyah–Segal axioms | category of d-dimensional cobordisms via predicate surface "domainOfFunctor" ⓘ |
| Cornu spiral | real numbers via predicate surface "domainOfParameter" ⓘ |
| Goldbach conjecture | even integers greater than 2 via predicate surface "quantificationDomain" ⓘ |
| Hardy space | 0 < p ≤ ∞ via predicate surface "domainOfParameter" ⓘ |
| Hurwitz zeta function | complex numbers via predicate surface "domainOfParameter" ⓘ |
| Jacobi triple product | complex numbers ⓘ |
| Pythagorean identity in trigonometry | all real numbers via predicate surface "domainOfθ" ⓘ |
| SAT | {true,false} via predicate surface "valueDomain" ⓘ |
| SAT problem | truth values true and false via predicate surface "valueDomain" ⓘ |
| Witt vectors | commutative rings via predicate surface "domainOfFunctor" ⓘ |