Closures on CPOs form complete lattices
scientific article; zbMATH DE number 1853061
scientific article