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