Операторы типа ветвящегося времени на конечных псевдобулевых алгебрах

Рассматриваются операторы типа ветвящегося времени на псевдобулевых алгебрах (п.б.а.). Доказывается, что на конечной п.б.а. всякий оператор указанного типа определяется некоторым подмножеством точек конечной шкалы, представляющей данную п.б.а.