Natural extension of the meet 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 greatest point that is less than or equal to all the points in the set.