ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Binary endorelation
Preordering relation
Partial ordering relation
Euclidean real lexicographic ordering relation
Definition D6195
Complex lexicographic ordering relation
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}