Description: The supremum of the empty set. (Contributed by NM, 13-Aug-2002) (New usage is discouraged.)