join-semilattice public under partially-ordered-set 14, semilattice 13 List Picture As a command mathematical-lattice 10 All 11 below join-semilattice →