Nótese que los lenguajes recursivamente enumerables no son cerrados con la diferencia ni el complementario.