Invariant

An invariant is something about a Class or Abstract Data Type that you always expect to be true.