 This notion of term algebra is a purely syntactic one involving only the operation symbols, constants, and variables of some language. The terms \(2 + 3\) and \(3 + 2\) are distinct; likewise \(x + y\) and \(y + x\) are distinct terms. As such they can be considered concrete terms.