Recursively enumerable set

Summary