The property of an algorithm is that it should terminate after a finite time and it should produce at least one output.