closed formula

noun1

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

forms

closed formulae · closed formulas

This dictionary works without the internet: on your phone · in Chrome