Claramente, formula_1 es un conjunto inductivo que está contenido en cualquier conjunto inductivo.