metricSpaceProperty
P73737
predicate
Indicates that a specified property or condition holds for a metric space, characterizing how its distance structure behaves.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| metricProperty | 8 |
| isQuasiMetricOn | 1 |
Sample triples (10)
| Subject | Object |
|---|---|
| Cantor set | complete ⓘ |
| Kolmogorov distance | non-negativity via predicate surface "metricProperty" ⓘ |
| Kolmogorov distance | identity of indiscernibles via predicate surface "metricProperty" ⓘ |
| Kolmogorov distance | symmetry via predicate surface "metricProperty" ⓘ |
| Kolmogorov distance | triangle inequality via predicate surface "metricProperty" ⓘ |
| Banach–Mazur distance | finite-dimensional normed spaces themselves via predicate surface "isQuasiMetricOn" ⓘ |
| Hamming distance | non-negativity via predicate surface "metricProperty" ⓘ |
| Hamming distance | identity of indiscernibles via predicate surface "metricProperty" ⓘ |
| Hamming distance | symmetry via predicate surface "metricProperty" ⓘ |
| Hamming distance | triangle inequality via predicate surface "metricProperty" ⓘ |