Ordered field-metrizable space

This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces

Definition

A topological space is termed ordered field-metrizable if it occurs as the underlying topological space of a metric space over an ordered field.

Relation with other properties

Stronger properties

• Metrizable space

Weaker properties

• Monotonically normal space
• Hereditarily normal space
• Normal space