7 Essential Words of Fall
1851, from in- (1) "not" + variant.
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. (1996-03-12)