dimensionBoundType
P7032
predicate
Indicates the type or nature of the constraint that bounds a given dimension in a relationship.
Observed surface forms (1)
- givesUpperBound ×2
Sample triples (3)
| Subject | Object |
|---|---|
| Janet–Cartan theorem | local embedding dimension upper bound ⓘ |
| Whitney embedding theorem | 2n for the embedding dimension of an n-dimensional smooth manifold via predicate surface "givesUpperBound" ⓘ |
| Whitney embedding theorem | 2n-1 for the immersion dimension of an n-dimensional smooth manifold via predicate surface "givesUpperBound" ⓘ |