uniqueUpTo
P147760
predicate
Indicates that one entity is determined uniquely by another, except for differences within a specified equivalence or tolerance (i.e., unique modulo that relation).
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| isUniqueUpTo | 3 |
Sample triples (5)
| Subject | Object |
|---|---|
| Calabi–Yau metric | Kähler class NERFINISHED ⓘ |
| Calabi–Yau metric | overall scaling in a fixed Kähler class ⓘ |
|
Sullivan minimal model in rational homotopy theory
surface form:
Sullivan minimal model
|
isomorphism of commutative differential graded algebras via predicate surface "isUniqueUpTo" ⓘ |
| GF(p^m) | field isomorphism via predicate surface "isUniqueUpTo" ⓘ |
| Poincaré metric | biholomorphic equivalence via predicate surface "isUniqueUpTo" ⓘ |