Об эквивалентности двух семантик PFP-оператора

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