# bound

> A claim that a measured value stays within a limit.

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

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

## Predicate type of

- [temporal-correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md)
- [memory-correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md)
- [performance-correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md)
- [availability-correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md)

## Linked from

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