Most interesting thing I’ve read on BB for awhile. The way I think of semilattices is that for any (non-empty finite) set of things, there is a thing that “combines” them. It doesn’t really matter what “combines” means, just that you can do it for any of the things.
