mathematical-lattice public under join-semilattice 11, meet-semilattice 11 List Picture As a command %3 n0 mathematical-lattice n3 bounded-lattice n0->n3 n4 complete-lattice n0->n4 n5 distributive-lattice n0->n5 n6 totally-ordered-set n0->n6 n7 modular-lattice n0->n7 n1 join-semilattice n1->n0 n2 meet-semilattice n2->n0