Моделирование оператора частичной фиксированной точки

В работе рассмотрены различные семантики частичной фиксированной точки для бесконечных алгебраических систем. Показано, что операторы частичной фиксированной точки рассматриваемых семантик можно промоделировать оператором инфляционной фиксированной точки в тех алгебраических системах, в которых есть строгий частичный порядок со сколь угодно длинными цепями.