Invariant (computer science)