 Now in a universe such as the integers certain concrete terms are equivalent in the sense that they always evaluate to the same element of the universe regardless of the values of their variable, for example \(x + y\) and \(y + x\). It is convenient to collect equivalent concrete terms into equivalence classes each of which is to be thought of as an abstract term.