Неупреждающие многозначные отображения и их построение с помощью метода программных итераций. II

Рассматриваются локальные свойства неупреждающих многозначных отображений (МО), являющихся многозначными селекторами (МС) априорного МО. Для итерационной процедуры перевода априорного МО в наибольший (поточечно) неупреждающий МС данного МО проведено “распараллеливание” посредством организации локальных итерационных процессов на ячейках (согласующегося с наследственностью) разбиения пространства аргументов. Для основной процедуры предельное МО и МО, реализуемые на каждом шаге итераций, склеиваются из фрагментов для локальных итерационных последовательностей. При оснащении пространства аргументов МО базисом фильтра построена факторизация, на “клетках” которой установлены представления, связывающие свойство поглощения клетки эффективной областью МО и нетривиальность его образа, понимаемую в смысле непустоты некоторых значений нового МО, которое определяется оператором, порождающим локальный итерационный процесс. Получены следствия, связывающие поведение эффективных областей для МО, определяемых итерациями, и предельного МО.
Библиогр. 21 назв.