ThmDex – An index of mathematical definitions, results, and conjectures.
F13094
Formulation 0
Let $\mathbb{C}$ be the D372: Set of complex numbers.
The lexicographic ordering relation on $\mathbb{C}$ is the D4: Binary relation \begin{equation} {\preceq} = \left\{ ((x, y), (x', y')) \in \mathbb{C} \times \mathbb{C} : x < x' \text{ or } (x = x' \text{ and } y \leq y') \right\} \end{equation}