G is a least upper bound of a set S iff for all x in S G<x and G is the greatest such number. It is also called an infinum.