Least Upper Bound

Let be a Poset and
Say is a least upper bound or a supremum of if:

• is an Upper Bound for
• for all upper bounds for .