complete-lattice public under mathematical-lattice 10 List Picture As a command %3 n0 complete-lattice n2 concept-lattice n0->n2 n3 dedekind-macneille-completion n0->n3 n1 mathematical-lattice n1->n0