[EN] 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 ...