Embedding metric spaces into CPO's
bounded complete omega-algebraic cpo's with continuous weight and distance
scientific article; zbMATH DE number 3763291