Se denomina recursivamente enumerable (r.