Sean formula_11 e formula_12 dos conjuntos.