In order to state these conditions succinctly, we introduce the following terminology.
In Section 2 we set up notation and terminology.
In discussing structures, we shall employ the standard terminology of first-order logic.
This terminology is used slightly differently in [6].