invariante do loop

loop invariant invariante do loop


Ver iterative statement (instrução iterativa).