recursively enumerable set