Invariants
Serves as both a precondition and postcondition for
every
method of a given class
Serves as a postcondition only for every constructor of a class
Example: The
Rational
class
(next)