Свойство алгоритма, которое означает, что в алгоритме нет команд, смысл которых может быть истолкован исполнителем неоднозначно.