루프 불변식 사전

반복문의 각 반복 실행 전후로 항상 참인 조건 또는 성질로, 알고리즘의 정확성을 증명할 때 사용된다.

이 용어를 정식으로 다루는 문서: 수학적 귀납법

이 용어가 등장하는 문서