К вопросу об устойчивости корректного алгоритма

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