# Invariant

> What remains unchanged?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Transformation](https://banes-lab.com/records/reasoning/lens-transformation.md) and before [Optimization](https://banes-lab.com/records/reasoning/lens-optimization.md).

## Math domains

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

## Universal axis

- [arrangement](https://banes-lab.com/records/reasoning/universal-axis-arrangement.md)

## Concept

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

## Linked from

- [The universal axes](https://banes-lab.com/ontology/reasoning/the-universal-axes.md)
- [The uncovered cells](https://banes-lab.com/ontology/reasoning/the-uncovered-cells.md)