<p>The domain theoretic notion of lifting allows one to extend a partial order in a trivial way by a minimum. In the context of Quantitative Domain Theory partial orders are represented as quasi-metric spaces. For such spaces, the notion of the extension by an extremal element turns out to be non trivial.</p><p>To some extent motivated by these considerations, we characterize the directed quasi-metric spaces extendible by an extremum. The class is shown to include the S-completable directef quasi-metric spaces. As an application of this result, we show that for the case of the invariant quasi-metric (semi)lattices, weightedness can be characterized by order convexity with the extension property.</p>
The Conditions of Existence of the Extremal Element for the Problem of Finding the Distance Between Two Sets, the Unity of an Extremal Element for its Equivalent Problem, the Properties of the Function of the Distance
