Definition:Enumeration Operator


 * Definition:Enumeration Operator (Recursion Theory)