Ter havido é o infinitivo impessoal (ou não flexionado) composto (ou pretérito) de haver . Trata-se de de uma forma composta por um verbo auxiliar (ter) no infinitivo e o particípio passado do verbo principal (haver), expressão que transmite a ideia de conclusão no passado (ver Celso Cunha e Lindley Cintra, Nova Gramática do Português Contemporâneo, págs. 401-404). O termo impessoal é relativo ao facto de esta forma do verbo não receber desinências pessoais. Por exemplo, o infinitivo impessoal (ou não flexionado) de cantar difere de canto, cantas, canta etc., que é o presente do indicativo, tempo finito com terminações de 1.ª, 2.ª e 3.ª pessoas. Deste modo, o infinitivo ter havido nunca deverá ser confundido com as formas finitas de haver, entre as quais se conta tenha havido, esta sim, correspondente ao pretérito perfeito composto.