This is why the term set must contain the entire set of constants C F (and the terms containing them) and not just the ones for the f-structure roots.
t F contains sufficiently many constant symbols and defining terms for the reducing substitutions to make all the distinctions that could arise from any c-structure and f-description for the given F. It is defined formally in the following way.