El tiempo gramatical que se forma con el participio pasivo y un verbo auxiliar: en español, con el verbo haber.