Eu sou maior do que uma formiga, o meu amigo é mais alto do que eu e o meu pai está acima de mim na árvore genealógica. Tudo isto são ordenações, mas como se podem comparar tranças? Porque podemos dizer que uma trança é maior do que outra? Neste seminário, vamos perceber de que forma se pode definir uma ordem estrita total invariante à esquerda para o grupo das tranças. Vamos também entender como podemos implementar este procedimento de forma eficiente por dois métodos diferentes.