# INVARIANT

> The record head · a property the topology relies on, with its set, its parties and its objector

Record: `pag:keyword-invariant-invariant`
Kind: keyword
Canonical: https://banes-lab.com/ontology/grammar#pag-keyword-invariant-invariant

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [COMPLETION](https://banes-lab.com/records/pag/keyword-report-completion.md) and before [PROPERTY](https://banes-lab.com/records/pag/keyword-invariant-property.md).

## Grounds

- [substrate-node:invariant](https://banes-lab.com/records/reasoning/substrate-node-invariant.md)
- [invariant:epi-reachable-check](https://banes-lab.com/records/reasoning/invariant-epi-reachable-check.md)

## Linked from

- [Coordination Surfaces](https://banes-lab.com/ontology/principles/architecture-category-coordination-surfaces.md)
- [The invariants](https://banes-lab.com/ontology/reasoning/the-invariants.md)