[see also: set
We find ourselves forced to introduce an extra assumption.
In order to state these conditions succinctly, we introduce the following terminology.