[see also: apply, use, utilize
In discussing structures, we shall employ the standard terminology of first-order logic.
The condition...... can be improved by employing a strategy similar to that underlying the proof of Theorem 2.