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

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