Свойство алгоритма «любое действие должно быть определено строго и недвусмысленно в каждом случае» называется ...