A class invariant expresses properties of an object which are stable in between operations initiated via the public client interface