# Complex number set has least upper bound property?

Exercise 1.9 Suppose $$z = a + bi, w = c + di$$. Define $$z if $$a, and also if $$a = c$$ but $$b. Prove that this turns the set of all complex numbers into an ordered set. (This type of order relationis called a dictionary order, or lexicographic order, for obvious reasons.) Does this ordered set have the least upper bound property?

The solution of this question is the procedure this set has an ordered property such as "$$x or $$x=y$$ or $$x>y$$", "$$x and $$y then $$x". enter image description here

But I think that this question already gives us that this set is ordered, so we don't need prove it. In addition, all of ordered sets have a least-upper-bound property, so we also need not prove they have a least-upper-bound property. I think this book asks us a wrong question. Is it right? ps. Why this solution doesn't prove there is a least upper bound?

Hint: consider the subset $$\{(0,y)\,:\,y\in\Bbb R\}$$.
• @주혜민, because is only a proof of "$<$ is a relation of order". See you some related with the least-upper-bound property in i.stack.imgur.com/H8wBc.png? – Martín-Blas Pérez Pinilla Mar 29 at 9:52
• @AkashPatalwanshi, $C$ is bounded in the lexicographic order. – Martín-Blas Pérez Pinilla Aug 21 at 10:39
• @AkashPatalwanshi, see the correction. Any $(x,\cdots)$ with $x > 0$ is an upper bound of $C$. – Martín-Blas Pérez Pinilla Aug 21 at 14:20