programming A rule, such as the ordering of an ordered

list or heap, that applies throughout the life of a data

structure or procedure. Each change to the data structure

must maintain the correctness of the invariant.