Suppose has more than one supremum and let and be suprema for with .

Now is a least upper bound for , and as is an upper bound .

Now the roles of and in the last paragraph may be reversed and so we conclude that . Hence a contradiction, so if has a supremum it is unique.

CB