closed formula

noun

A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

Similar
ground formula

Meanings

nounclosed formula (plural closed formulas or closed formulae)

plural closed formulas · plural closed formulae

  1. human sciencesA formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

    Synonyms: ground formula

Synonyms & antonyms

nounA formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.

Similar
ground formula
Cite this entry
APA

closed formula. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/closed%20formula

MLA

“closed formula.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/closed%20formula. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “closed formula,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/closed%20formula.

Source: closed formula on Wiktionary, CC BY-SA 4.0.