And generally: "the term satisfying

satisfies

" is defined as meaning:

"There is a term

such that (1)

is always equivalent to '