An invariant is a condition that simply must always be true. 

---
Related:
- [[20240613112 - Aggregates should protect invariants]]