semantic evaluation of the free variables in the formula.

* A set is definable in without parameters if it is definable in with parameters from the empty set (that is, with no parameters in the defining formula).
* A function is definable in (with parameters) if its graph is definable (with those parameters) in .
* An element is definable in (with parameters) if the singleton set is definable