Completion of premetric spaces (Q5855277)
From MaRDI portal
scientific article; zbMATH DE number 7325566
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completion of premetric spaces |
scientific article; zbMATH DE number 7325566 |
Statements
Completion of premetric spaces (English)
0 references
18 March 2021
0 references
completion
0 references
premetric space
0 references
regular families
0 references
Cauchy families
0 references
constructive mathematics
0 references
