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}