A rule that must hold for every observable state of an object after construction and public operations.