Счётное множество — бесконечное множество, элементы которого возможно пронумеровать натуральными числами. 2 Другими словами, счётное множество — это множество, равномощное множеству натуральных чисел. 2

Перечислимое множество — множество конструктивных объектов (например, натуральных чисел), все элементы которого могут быть получены с помощью некоторого алгоритма. 35