Какое свойство алгоритма указывает, что любое действие в алгоритме должно быть строго и недвусмысленно определено и описано для каждого случая?