free variable

Also known as real variable

variable in a logic formula which is not inside the scope of a quantifier