Description: The supremum of an empty set is the smallest element of the base set. (Contributed by AV, 4-Sep-2020)