The magic of wikipedia: Invariant (computer science)
In computer science, a predicate that, if true, will remain true throughout a specific sequence of operations, is called (an) invariant to that sequence.
http://stackoverflow.com/questions/112064/what-is-an-invariant