Free Variable

Opposite of Bound Variable.

free(A) → the set of free variables of A.

This way we can define all free variables of a formula $A$ like this: