迴圈變量

迴圈變量（loop variant）係指一個數值會隨住程式迴圈迭代而減少嘅變數，設嚟監察個迴圈運作係咪如常。