# equivalence

> A claim that two representations produce the same result.

Record: `vocabulary:predicate-type-equivalence`
Kind: predicate-type
Canonical: https://banes-lab.com/ontology/schema#vocabulary-predicate-type-equivalence

Listed in [Controlled vocabularies](https://banes-lab.com/api/records/vocabulary.md), after [invariant](https://banes-lab.com/records/vocabulary/predicate-type-invariant.md) and before [bound](https://banes-lab.com/records/vocabulary/predicate-type-bound.md).

## Predicate type of

- [semantic-correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md)
- [interaction-correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md)
- [determinism-correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md)

## Linked from

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