置换是形如 t_1 / x_1, t_2 / x_2, ..., t_n / x_n 的有限集合。其中，t_1, t_2, ..., t_n 是项，x_1, x_2, ..., x_n 是可相同的变元。()A. 错B. 对

置换是形如 $\{t_1 / x_1, t_2 / x_2, ..., t_n / x_n\}$ 的有限集合。其中，$t_1, t_2, ..., t_n$ 是项，$x_1, x_2, ..., x_n$ 是可相同的变元。()

A. 错

B. 对