Skip to main content
2 of 3
added 98 characters in body; added 4 characters in body
user avatar
user avatar

Does this property of a partially ordered set have a name?

What do you call a poset with this property? For any elements $a,b,c,d$ such that $\{a,b\}\le\{c,d\}$, there is an element x such that $\{a,b\}\le x\le\{c,d\}$. (Equivalently, for any finite sets $A\le B$, there is an element x such that $A\le x\le B$.)

For example, any upper or lower semilattice has this property. Also, overlooking the fact that it's not a set, the class of all cardinal numbers has this property in ZF.

user33772