# preserves_clause

> "preserves:" <distinction_set>

Record: `pag:production-preserves-clause`
Kind: production
Canonical: https://banes-lab.com/ontology/grammar#pag-production-preserves-clause

Listed in [Grammar records](https://banes-lab.com/api/records/pag.md), after [contract](https://banes-lab.com/records/pag/production-contract.md) and before [freshness_clause](https://banes-lab.com/records/pag/production-freshness-clause.md).

## Grounds

- [invariant:epi-preserved-distinction](https://banes-lab.com/records/reasoning/invariant-epi-preserved-distinction.md)

## Linked from

- [The invariants](https://banes-lab.com/ontology/reasoning/the-invariants.md)