ループ不変 ふへん しき
rūpufuhenshiki

Noun

1. loop invariant

Computing