"free variables" -
related articles and key terms
Related terms:
lambda calculus
predicate
Wikipedia sources:
Expression (mathematics)
Lambda calculus
Relational model
Context for words:
free
variables