Let be a Poset and
Then is an upper bound for if for all