complete-lattice public under mathematical-lattice 10 List Picture As a command concept-latticededekind-macneille-completion