dedekind-macneille-completion public under complete-lattice 2 List Picture As a command %3 n0 dedekind-macneille-completion n1 complete-lattice n1->n0