El conjunto formula_18.