Terms

term Let $x_1, x_2, \ldots$ be individual variables (or element variables); they are terms. If s, t are terms, then so is the ordered pair $\langle s, t\rangle$. Nothing else is a term for now.