semilattice public under semigroup 20 List Picture As a command join-semilattice 11meet-semilattice 11 All 13 below semilattice →