Математическая энциклопедия - перечислимое множество

множество, возникающее в результате развертывания какого-либо конструктивного порождающего процесса. Такой процесс можно мыслить как процесс вычисления значений нек-рого алгоритма с исходными данными в виде натуральных чисел, и потому, напр., определению П. м. натуральных чисел можно придать следую.