A least element of a Set is an element within that set that is smaller than or equal to every other element, according to a specific Order. When such an element exists, it is unique. See also Greatest Element Minimum Infimum