O Tribunal Superior do Trabalho, cujos membros são escolhidos dentre brasileiros, compor-se-á de: