迴圈不變量loop invariant)係一個數值理應唔會隨程式迴圈迭代改變嘅變數,都係整嚟監察個迴圈運作係咪如常嘅。