loop invariant, invariante do loop

Ver iterative statement (instrução iterativa).

• VAR
• ar
• solicitação de cliente
• Restauração do sistema
• ..
• ../..