para cualquiera que sea el elemento formula_8 (i.e., si todo elemento de formula_9 es elemento de formula_20).