join-semilattice public under partially-ordered-set 14, semilattice 13 List Picture As a command %3 n0 join-semilattice n3 mathematical-lattice n0->n3 n1 partially-ordered-set n1->n0 n2 semilattice n2->n0