ループやネストされたループにループがある場合は、プログラミング言語に関係なく for ループとしましょう (もちろん命令型でなければなりません)。
for(int j = 1; j <= 100; j++){
for(int k = 1; k <= 200; k++){
\\body or terms
}
}
i = 1 をすべて j = {1, 200} で合計し、i = 2 をすべて j = {1, 200} で合計したい場合、数学的に同等です。
そして、赤丸の条件は不要ですよね?
同じことが複数のネストされたループにも当てはまりますか?