Ordered field-metrizable space

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.

Stronger properties

 * Metrizable space

Weaker properties

 * Monotonically normal space
 * Hereditarily normal space
 * Normal space