Bir algoritmanın belirli bir sayıda adımdan sonra mutlaka sonlanması gerekmektedir. Bu durum algoritmanın hangi temel özelliği ile ilgilidir?