Полно нумерованные множества

В статье исследуются взаимоотношения полно нумерованных множеств с произвольными нумерованными множествами. Находятся и доказываются основные структурные теоремы. Доказана теорема существования и единственности пополнения произвольного не полного, нумерованного множества. Найдено свойство типа инъекции, характеризующее полно нумерованные множества. Даны необходимые и достаточные условия для универсальности полно нумерованного множества.