dedekind-macneille-completion public under complete-lattice 2 List Picture As a command Nothing is filed under dedekind-macneille-completion.