A universal mapping property for a lattice completion
scientific article; zbMATH DE number 3522024