¹That is, a sort-preserving mapping from $V a r s (t_{1}, t_{1}^{'}, \dots, t_{n}, t_{n}^{'})$ , the set of all variables appearing in the terms $t_{i}$ or $t_{i}^{'}$ , to $T_{Σ} (X)$ .