Partially ordered metric spaces produced by \(T_{0}\)-quasi-metrics (Q260591)

A \textit{partially ordered metric space} is a triple \((X,m,\leqslant)\) where, as expected, \((X,m)\) is a metric space and \((X,\leqslant)\) is a partially ordered set. Given a set \(X\), a function \(d: X \times X \rightarrow [0,\infty)\) is said to be a \textit{quasi-pseudometric} if (a) \(d(x,x) = 0\) for all \(x \in X\); and (b) \(d(x,z) \leqslant d(x,y) + d(y,z)\) for all \(x, y, z \in X\). If \(d\) also satisfies the condition: (c) for all \(x, y \in X\), \(d(x,y) = 0 = d(y,x)\) implies \(x = y\), then \((X,d)\) is said to be a \textit{\(T_0\)-quasi-metric space}. Given a quasi-pseudometric \(d\) on \(X\), the \textit{specialization pre-order of \(d\)} is the relation \(\leqslant_d = \{(x,y) \in X \times X: d(x,y) = 0\}\). \(d\) is a \(T_0\)-quasi-metric if, and only if, \(\leqslant_d\) is a partial order on \(X\) -- or, equivalently, the symmetrization \(d^s = {\max}\{d,d^{-1}\}\) is a metric on \(X\). In a previous paper [Topology Appl. 193, 84--96 (2015; Zbl 1345.54023)], the authors have characterized the partially ordered metric spaces which are \textit{produced} by quasi-pseudometrics -- that is, those partially ordered metric spaces \((X,m,\leqslant)\) for which there is a quasi-pseudometric \(d\) such that \(m\) coincides with its symmetrization \(d^s\) and \(\leqslant\) coincides with its specialization pre-order \(\leqslant_d\). In the paper under review, the authors show that if one assumes some additional compatibility conditions between metric and partial order with appropriate algebraic operations then a number of new, more transparent results would arise; indeed, a number of results like these (related to certain lattices and groups) are given. Finally, the authors establish that a non-empty partially ordered metric space \((X,m,\leqslant)\) is produced by a \(T_0\)-quasi-metric if, and only if, it can be embedded as a subspace of \((B_X, s, \preccurlyeq)\), where \(B_X\) is the set of all bounded real-valued functions defined on \(X\), \(s\) is the supremum metric and \(\preccurlyeq\) is the pointwise defined order.