ЯП вариант цикла целочисленное выражение, которое должно быть неотрицательным при первом выполнении тела цикла и уменьшаться до нуля с каждой итерацией так, чтобы гарантировать момент окончания цикла
LOOP VARIANT
Англо-русский перевод LOOP VARIANT
Big English-Russian dictionary . Большой Англо-Русский словарь. 2012