supremum

least upper bound