Totally ordered set in the context of "Dedekind cut"

In mathematics, the lexicographic or lexicographical order (also known as lexical order, or dictionary order) is a generalization of the alphabetical order of the dictionaries to sequences of ordered symbols or, more generally, of elements of a totally ordered set.

There are several variants and generalizations of the lexicographical ordering. One variant applies to sequences of different lengths by comparing the lengths of the sequences before considering their elements.

In mathematics, especially in order theory, a maximal element of a subset ${\displaystyle S}$ of some preordered set is an element of ${\displaystyle S}$ that is not smaller than any other element in ${\displaystyle S}$. A minimal element of a subset ${\displaystyle S}$ of some preordered set is defined dually as an element of ${\displaystyle S}$ that is not greater than any other element in ${\displaystyle S}$.

The notions of maximal and minimal elements are weaker than those of greatest element and least element which are also known, respectively, as maximum and minimum. The maximum of a subset ${\displaystyle S}$ of a preordered set is an element of ${\displaystyle S}$ which is greater than or equal to any other element of ${\displaystyle S,}$ and the minimum of ${\displaystyle S}$ is again defined dually. In the particular case of a partially ordered set, while there can be at most one maximum and at most one minimum there may be multiple maximal or minimal elements. Specializing further to totally ordered sets, the notions of maximal element and maximum coincide, and the notions of minimal element and minimum coincide.