invariant

<PI> 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.

[FOLDOC]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: intuitionism « intuitionism « intuitionistic logic « invariant » inverse » I proposition » Irigaray Luce