Алгебраическое замыкание семейства разделяющих алгоритмов

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