path: root/zettelkast/Notes/202406131159 - Invariant.md

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

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