Об определении лахлановской полурешетки

Исследуются алгоритмические свойства полурешеток, введенных в 1972 г. Лахланом при изучении рекурсивно перечислимых $m$-степеней (так называемых лахлановских полурешеток). Показано, что в данном Лахланом определении условие на эффективность операции пересечения в задающей полурешетку последовательности можно опустить.