A rule that should always remain true for a valid object.
Examples include 'price cannot be negative' or 'quantity must be at least one.' Constructors and mutation methods should protect those rules so the object never becomes nonsense.
Additional Notes
How would you explain an invariant in an interview?