Bir algoritmanın her türlü olası durum için doğru sonucu üretebilmesi ve hiçbir durumda hatalı çıktı vermemesi hangi temel özellikle ilişkilidir?