Выдержка из книги
Кузнецов Н.А.
Методы анализа и синтеза модульных информационно-управляющих систем
Операция ip исключает из перечисления при определении решения Zn - u задачи в области х те подмножества, которые сформированы для задач с индексом, меньшим, чем у рассматриваемой, и полностью принадлежат области пересечения областей определения этих задач.