Uma ordem total em um conjunto A é colocar todos os elemento...

Uma ordem total em um conjunto A é colocar todos os elementos de A em uma fila, isto é, tem-se o primeiro elemento, o segundo sucedendo o primeiro elemento, e assim por adiante. Essa ordem total permite definir uma ordem total no produto cartesiano denominada ordem lexicográfica (o nome se deve ao fato de que essa ordem é precisamente a ordem observada das palavras em um dicionário). Para o caso do produto cartesiano A × A × A essa ordem é construída da seguinte forma: para dois elementos (a₁ , b₁ , c₁) e (a₂ , b₂ , c₂) tem-se:
- se a₁ antecede a₂, então o elemento (a₂ , b₂ , c₂) sucede (a₁ , b₁ , c₁); - se a₁ = a₂ , então (a₂ , b₂ , c₂) sucede (a₁ , b₁ , c₁) se b₁ antecede b₂ ; - se a₁ = a₂ e b₁ = b₂ , então (a₂ , b₂ , c₂) sucede (a₁ , b₁ , c₁) se c₁ antecede c₂ .
Se A = {Ψ, Φ,Ω} com a ordem de que Ψ é o primeiro elemento e é sucedido por Φ que, por sua vez, é sucedido por Ω, então, por exemplo, o elemento (Ψ, Ψ, Ψ) está na 1ª posição e o elemento (Ψ, Ψ, Φ) está na 2ª posição. Sendo assim, a posição do elemento (Φ, Ψ, Φ) é: