## closed-formula

Noun

(*plural* closed formulas)

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