Trata-se do infinitivo impessoal composto ou pretérito.

No Dicionário Terminológico (DT), trata-se do modo infinitivo, uma forma verbal não finita que, como tal, não varia em tempo. Uma gramática que aplica o DT – a Domínios – Gramática da Língua Portuguesa (Plátano Editora, 2011, pág. 99 e 114), de Zacarias S. Nascimento e M.ª Céu Vieira Lopes – recupera terminologia mais antiga para classificar formas constituídas pelo infinitivo do auxiliar ter e um particípio passado como «forma composta do infinitivo impessoal». Nessa mesma gramática, dá-se a esta forma uma interpretação aspetual perfetiva, isto é, relativa a uma ação ou um processo concluídos.