In contrast to a Bound Variable. It can be any value, and is used directly in the statement. Example: The statement
- Has and as the free variables
- Has as the Bound Variable
In contrast to a Bound Variable. It can be any value, and is used directly in the statement. Example: The statement y∈{x∣is divisible by w}