Answer:
Precision – the steps are precisely stated(defined).
Uniqueness – results of each step are uniquely defined and only depend on the input and the result of the preceding steps.
Finiteness – the algorithm stops after a finite number of instructions are executed.
Also:
Input specified.
Output specified.
Definiteness.
Effectiveness.
Finiteness.