SE450: Class Invariants [52/57]

• Condition that is
  • true after every constructor
  • preserved by every method
    (if it's true before the call, it's again true afterwards)
• Useful for checking validity of operations