Bir algoritmanın her adımının net, anlaşılır ve belirsizlik içermemesi gerektiğini ifade eden temel özellik aşağıdakilerden hangisidir?