An invariant should be designed in such a way that it can enforce an invariant. This means even if they require another aggregate to do so, therefore it's allowed to reference other aggregates.

---
Related:
- [[290220241543 - Aggregates]]