Puedes convertir $\mathbb{C}$ en un conjunto totalmente ordenado y luego definir $a \geq b$ si y solo si $a-b \geq 0$. Un ejemplo de ese orden total en $\mathbb{C}$ es el orden lexicográfico definido en $\mathbb{R}^2.
El problema es que si lo haces, entonces al restringir este nuevo orden a $\mathbb{R}$ como subconjunto de $\mathbb{C}$ y esperas que satisfaga los axiomas del orden de campo, este orden no coincidirá con el orden habitual en $\mathbb{R}$. Por lo tanto, no puedes pensar en este orden como una extensión del orden que tenemos en $\mathbb{R}.
De hecho no es posible definir un orden en $\mathbb{C}$ que interactúe con la adición y la multiplicación de la misma manera que lo hacen los elementos de $\mathbb{R}.. Esto se debe a que al aceptar los axiomas del orden de campo en $\mathbb{R}$, puedes demostrar que $\forall x \in \mathbb{R}: x^2 \geq 0$, mientras que este teorema se rompe en $\mathbb{C}$ porque $i^2 < 0$.