Por abuso de lenguaje, decimos que formula_68 es una subestructura del tipo de formula_2 de formula_3.