 Let \(L\) be a first-order language, which is to say, a list of constant, function, and relation symbols with specified arities. The set of epsilon terms and the set of formulae of \(L\) are defined inductively, simultaneously, as follows: