5. Specific constructions with the meaning of "difference"

In the present section, three types of constructions are described:

All the constructions above are considered constructions with the meaning of difference (the functor DIFF).