2025-11-09

1402: Pseudometric Space

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of pseudometric space

Topics


About: pseudometric space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of pseudometric space.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( M\): \(\in \{\text{ the sets }\}\)
\( dist\): \(\in \{\text{ the pseudometrics on } M\}\)
\(*(M, dist)\):
//

Conditions:
//


References


<The previous article in this series | The table of contents of this series | The next article in this series>