Adam Topaz (Apr 09 2021 at 17:55):
Is there a name for the following concept: A partially ordered set X in which every two elements have a join, which satisfies the usual axioms of a join (i.e. A join B is leq to both A and B, and is monotone in both variables).
Bryan Gin-ge Chen (Apr 09 2021 at 17:56):
Adam Topaz (Apr 09 2021 at 17:58):
Yeah that looks right (except I mixed up join and meet, so I really want a docs#semilattice_inf )
Bryan Gin-ge Chen (Apr 09 2021 at 17:58):
Ha, I had to look up which one was join too.
Last updated: May 18 2021 at 08:14 UTC