关系.自然数的集合"A"被叫做可计算的（同义词：递归的，可决定的），如果有可计算函数"f"使得对于每个自然数"n"，formula_9如果"n"在"A"中，并且formula_10如果"n"不在"A"中。自然数的集合被叫做计算可枚举的（同义词：递归可枚举的，半可判定的），如果有可计算函数"f"使得对于每个自然数"n"，"f(n)"是有定义的，当且仅当"n"在这个集合中。所以一个集合是计算可枚举的，当且仅当它是某个可计算函数的定义域。使用词可枚举的因为对于自然数的非空子集"B"下列是等价的：如果集合"