para toda pareja de elementos formula_2.