# Invariant

> This node sits on the Substrate layer. Its mathematical type is topology.

Record: `reasoning:substrate-node-invariant`
Kind: substrate-node
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-substrate-node-invariant

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Constraint](https://banes-lab.com/records/reasoning/substrate-node-constraint.md) and before [Uncertainty](https://banes-lab.com/records/reasoning/substrate-node-uncertainty.md).

## Layer

- [Substrate](https://banes-lab.com/records/reasoning/layer-substrate.md)

## Math type

- [topology](https://banes-lab.com/records/reasoning/math-type-topology.md)

## Grounded by

- [Concrete-vs-Abstract Responsibility Split](https://banes-lab.com/records/algorithms/concrete-vs-abstract-responsibility-split.md)
- [INVARIANT](https://banes-lab.com/records/pag/keyword-invariant-invariant.md)
- [PROPERTY](https://banes-lab.com/records/pag/keyword-invariant-property.md)
- [invariant_block](https://banes-lab.com/records/pag/production-invariant-block.md)
- [invariant_record](https://banes-lab.com/records/pag/production-invariant-record.md)

## Concept of

- [Invariant](https://banes-lab.com/records/reasoning/lens-invariant.md)
- [Invariant](https://banes-lab.com/records/architecture/invariant.md)

## Linked from

- [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md)
- [invariant](https://banes-lab.com/ontology/grammar/pag-keywords-invariant.md)
- [planning](https://banes-lab.com/ontology/grammar/pag-productions-planning.md)