si todo elemento de formula_9 es elemento de formula_20 y, recíprocamente, si todo elemento de formula_20 es elemento de formula_9).