In this case we say that function definition binds the variables x1, ..., xn.
在这种情况下我们称函数的定义约束了这些变量 x1, ..., xn。