converges

O "menor" conjunto de efeitos. É um código que garante produzir um valor em um tempo finito sem divergir.