it can be interpreted as the set of all elements where is taken from and from .

Formally:

Examples

*
*
* If is the set of real numbers and is the set of rational numbers, then is the set of irrational numbers.

Properties

Let , , and be three sets in a universe . The following identities capture notable properties