Define about the class invariant
A class invariant may not be true during execution of a public operation though it should be true between executions of public operations. For instance, an operation to add something to a container should increase the size and decrease space left attributes and for a moment during execution of this operation their sum might not be correct though when operation is done, their sum should be the capacity of the container.