A condition that can be relied upon to be true during the execution of a program, especially during a loop or other repetitive process.

"Maintaining invariants in algorithms is crucial for ensuring correctness and preventing errors during execution."