This section contains descriptions of the high-level operations on relations.
Most of these operations take sets and/or relations as arguments and produce
sets and or relations as results.
In the following examples, and z are arbitrary tuples
and
and
are arbitrary presburger formulas.