loop invariant - a proposition, involving variables of a program, that is true for every execution of a loop; used in program verification. ; дс тдрлими цюлютдажкию дроемжки аиакиохдйис лидр http://www.harcourt.com/dictionary/def/5/9/9/4/5994800.html;
