Def/Least upper bound 1