O pseudocódigo do método y(x) é mostrado a seguir, onde a seta !$ \gets !$ denota atribuição.

while existe(esquerda(x))
x !$ \gets !$ esquerda(x)
return x

Para x existente na árvore em questão, y(x) sempre retorna o