Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Gerhard Paseman is right, the upper bound is not unique in general. The idea for the reduction still seems to work just fine. Thank you so much for helping me formulate my problem correctly and even solve it!
You are exactly right, after looking at the definitions I think what I have is a poset with one maximal element, not even a semi-lattice. I will correct the problem statement.
