Recursively_enumerable_set