Properties/Invariants
Kind: constraint
Layer: Computation Core
Record: lexicon:properties-invariants
Canonical: Lexicon
The requirement that the general properties or invariants a function must satisfy be defined.
Listed in Lexicon terms, after No Side Effects and before Value Semantics.