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