closed formula
Short definition from Wiktionary
Noun
- A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
We haven’t written up closed formula yet: Simple and Standard meanings, examples and a quiz.