A condition that should always be true for the system to be in a consistent state.

Examples

• Speed of Light is an Invariant
• Two appointments do not overlap one another
• End date follows Begin date
• Total items on a purchase order do not exceed the limit.
  Purchase Order (Root) Maintains this Invariant.