Bir algoritmanın her adımının açık ve net bir şekilde tanımlanmış olması, belirsizlik içermemesi hangi temel özelliği ifade eder?