If and are elements of a poset, then their join, or supremum, is an element of the poset such that:
if and , then . Such a join may not exist; if it does, then it is unique.
In a proset, a join may be defined similarly, but it need not be unique. (However, it is still unique up the natural equivalence in the proset.)
The above definition is for the join of two elements of a poset, but it can easily be generalised to any number of elements. It may be more common to use ‘join’ for a join of finitely many elements and ‘supremum’ for a join of (possibly) infinitely many elements, but they are the same concept. The join may also be called the maximum if it equals one of the original elements.