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