Answer:
The correct answer is: A set a variables that do not change throughout a loop.
Explanation:
In computer science, a loop invariant property refers to a statement that is true about a program variable before and after each iteration of a loop. The loop invariant has three (3) properties: initialization (true before the first execution), maintenance (true after the iteration), and termination (the invariant loop must provide useful information after terminated).