Showing changes from revision #10 to #11:
Added | Removed | Changed
Whenever editing is allowed on the nLab again, this article should be ported over there.
Let be the rational numbers and let
be the set of positive rational numbers.
A premetric space is a set with a ternary relation on the Cartesian product .
Let be the rational numbers and let
be the positive rational numbers.
A premetric space is a type with a family of types
called the premetric, and a family of dependent terms
representing that the premetric is a predicate.
Last revised on June 10, 2022 at 00:47:24. See the history of this page for a list of all contributions to it.