loop invariant, invariante do loop

Ver iterative statement (instrução iterativa).