infinitivo

m. Forma no personal del verbo, que no expresa número ni persona ni tiempo determinados:

"haber venido" es un infinitivo compuesto.

Mira otros diccionarios

1. infinitivo — s m (Gram) Forma no personal del verbo que se construye añadiendo la terminación -ar, -er, -ir a la raíz, como en cant -ar, com -er, sub -ir. Tiene función de sustantivo por ser una especie de nombre del verbo, como en el mirar, el comer, el dormir.  Diccionario del español usual en México
2. infinitivo — m. Uno de los cinco modos del verbo. Presente de infinitivo, o sea voz que da nombre al verbo.  Diccionario del castellano
3. infinitivo — En el uso del infinitivo se comete galicismo algunas veces. V. gr.: "Le insinuó callar" por Le insinuó que callase. ☻ "Se le acusó de judaizar" por Se le acusó de que judaizaba.  Diccionario de galicismos