自然数の集合が計算可枚挙（Computablyenumerable、帰納可枚挙、準決定可能）であるとは、数nに関する計算可能関数fがあり、f(n)がnがその集合に属する場合だけ定義されていることをいう。
自然数的集合被叫做计算可枚举的（同义词：递归可枚举的，半可判定的），如果有可计算函数f使得对于每个自然数n，f(n)是有定义的，当且仅当n在这个集合中。