e/Generalised metric

Information
has gloss	eng: In mathematics, the concept of a generalised metric is a generalisation of that of a metric, in which the distance is not a real number but taken from an arbitrary ordered field.
lexicalization	eng: Generalised metric
instance of	e/Norm (mathematics)