13和formula_14定值为formula_15和formula_16，其输出为数字formula_17；但注意在formula_14值为formula_19时，则这表示式"没有定义"。数学表达式的评估取决于上下文背景对式中运算符的定义，赋值的定义域和评估结果的域。如果两个表达式之中的变量，对于它们赋值的每一种组合都产生相同的输出，则这两个表达式被认定为相等，即它们实为相同的函数。例如，表示式formula_20有自由变数formula_13、约束变数formula_22、常数formula_2