Корректные алгебры над классами алгоритмов вычисления $k$-значных свойств

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