Estructura primera de la especificación de Requ.