# Saturation

> Is nothing left to resolve?

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

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Completion](https://banes-lab.com/records/reasoning/node-ter-completion.md) and before [Diminishing Returns](https://banes-lab.com/records/reasoning/node-ter-diminishing-returns.md).

## Axis

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

## Grounded by

- [COMPLETION](https://banes-lab.com/records/pag/keyword-report-completion.md)

## Math type

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

## Linked from

- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)
- [report](https://banes-lab.com/ontology/grammar/pag-keywords-report.md)