Свойство алгоритма, означающее, что каждая команда алгоритма не допускает ее неоднозначного толкования и неопределённого исполнения: