isPseudometric
P143044
predicate
Indicates that a given distance-like function on a set satisfies all metric axioms except that distinct points are allowed to have zero distance between them.
Sample triples (1)
| Subject | Object |
|---|---|
| Kobayashi metric | true ⓘ |