closed formula
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.
- Synonyms
- ground formula
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.