Sean formula_12 y formula_13 dos conjuntos, formula_14 y formula_15.