Esto es, si formula_1 y formula_2 son dos lenguajes recursivamente enumerables, entonces los siguiente lenguajes son recursivamente enumerables también: