Natural extension of the join of two elements to an arbitrary Set of elements of a poset

Interpreting the Partial ordering as "less than or equal", it can be understood as the least point that is greater than or equal to all the points in the set.