En esta clase vimos distintas construcciones de orden con el que podemos equipar a un producto cartesiano de varios conjuntos, cuando cada uno de ellos está equipado de un orden total. Primero definimos el orden producto, que consiste en todas aquellos pares de tuplas tales que la primera está dominada coordenada a coordenada por la segunda tupla. Probamos que el orden producto define un orden parcial que en general no es un orden total. Para cada alfabeto (conjunto finito de símbolos, cuyos símbolos se llaman letras), vimos una manera de ordenar todas sus palabras, con un orden que llamamos orden lexicográfico. Quedó como ejercicio demostrar que el orden lexicográfico es un orden total entre las palabras. Observando que las palabras con una cantidad finita de letras admite una función biyectiva con las tuplas de un producto cartesiano, concluimos que es posible equipar al producto cartesiano con un orden total. Por último comentamos brevemente los teoremas de Dilworth y Mirsky, señalando posibles aplicaciones.