Pseudo-lattice?

Stream: maths

[Adam Topaz]

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]

docs#semilattice_sup ?

[Adam Topaz]

Yeah that looks right (except I mixed up join and meet, so I really want a docs#semilattice_inf )

[Bryan Gin-ge Chen]

Ha, I had to look up which one was join too.