Sea formula_1 un anillo y formula_2 cualquier conjunto.