A loop invariant is a condition that holds true before and after each iteration of a loop, serving as a crucial tool for proving the correctness of algorithms. It helps in understanding how a loop progresses towards its termination and ensures that the desired postcondition is achieved once the loop exits.