Como usar a transitividade de comparações para determinar quem ocupa necessariamente a posição mais alta em uma ordem?

Mostrar, via transitividade, que um elemento é maior que todos os demais.

Combine as relações parciais aplicando a transitividade das desigualdades: se A>B e B>C então A>C.
Se, ao combinar todas as informações, um elemento aparece acima de cada um dos outros na cadeia resultante, ele necessariamente ocupa a posição mais alta.

Exemplo:
Dados: \(X>Y,\ Z>X,\ W>Z,\ TCombine: \(Z>X>Y\) e então \(W>Z>X>Y\); também \(Y>T\).
Logo obtém-se \(W>Z>X>Y>T\), portanto W é necessariamente o maior.