invariant
this is an assertion that expresses a relationship between variables that will remain constant through iterations of the loop
The goto resource for studying materials
invariant
this is an assertion that expresses a relationship between variables that will remain constant through iterations of the loop