# Safe Substitution

> Replacing a component or expression with an equivalent one without altering program correctness.

Record: `lex:safe-substitution`
Kind: capability
Layer: [Structural Core](https://banes-lab.com/records/layer/structural-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-safe-substitution

## category

- [Core Vocabulary](https://banes-lab.com/records/lex-category/core-vocabulary.md)

## referenced-by

- [Referential Transparency](https://banes-lab.com/records/arch/referential-transparency.md)
- [Liskov Substitution Principle (LSP)](https://banes-lab.com/records/arch/liskov-substitution.md)