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.

Last updated: 1996-03-12

Nearby terms:

intuitionist logicinvariantinverseInverse Address Resolution Protocol

Try this search on Wikipedia, Wiktionary, Google, OneLook.