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