closed formula

English dictionary entry

Meanings

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

Word forms

closed formula closed formulas closed formulae

Synonyms

ground formula
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.