Produktmenge zweier geordneter Mengen, die nach folgenden Regeln gebildet wird:

Ist die Menge M₁ mit einer Ordnungsrelation „≤₁“ und die Menge M₂ mit einer Ordnungsrelation „≤₂“ versehen, so läßt sich wie folgt eine Ordnung „≤“ auf M₁ × M₂ definieren: Für a₁, b₁ ∈ M₁ und a₂, b₂ ∈ M₂ sei (a₁, a₂) ≤ (b₁, b₂) genau dann, wenn entweder a₁ ≤ b₁, a₁ ≠b₁ oder a₁ = b₁, a₂ ≤ b₂. (M₁ × M₂, ≤) wird dann als lexikographisches Produkt von (M₁, ≤₁) und (M₂, ≤₂) bezeichnet, gelegentlich auch einfach als lexikographische Ordnung auf M₁ × M₂.

Die Bezeichnung rührt daher, daß die Anordnung der Stichwörter in einem Lexikon nach genau dieser Regel erfolgt, wobei die zugrundeliegende Ordnung hier gerade die alphabetische Anordnung der Buchstaben ist.