Publication:4104561
From MaRDI portal
zbMath0336.54031MaRDI QIDQ4104561
Publication date: 1973
54E35: Metric spaces, metrizability
54E99: Topological spaces with richer structures
06F25: Ordered rings, algebras, modules
12J15: Ordered fields