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