Перечисление

Перечисление множества — это любая сюръекция из порядкового номера α на S.
Более строгой версией перечисления является частный случай, когда α является конечным порядковым номером или первым предельным порядковым номером ω.
Теорема ZF заключается в том, что любое хорошо упорядоченное множество может быть пронумеровано в соответствии с этой характеристикой.
В теории вычислимости часто рассматриваются счетные перечисления с дополнительным требованием, чтобы отображение из N в перечисляемое множество должно быть вычислимым.
Понятие перечисления также изучалось с точки зрения теории вычислительной сложности для различных задач в контексте алгоритмов перечисления.

Полный текст статьи:

Перечисление — Википедия