free variable and bound variable

in predicates, a variable that is associated with a quantifier is a bound variable, otherwise it is a free variable

in the expression $\text{[math]}$ , $\text{[math]}$ is bound, $\text{[math]}$ isnt

should include here definitions for other contexts like functions,sums,limits,etc