closed formula

Meaning

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

Notes

Sign in to write sticky notes