## Operations on sets

inset theoryinIntroduction to naive set theory

*verified*Cite

While every effort has been made to follow citation style rules, there may be some discrepancies.Please refer to the appropriate style manual or other sources if you have any questions.

Select Citation Style

Feedback

Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites

- Boston University - Basic Set Theory
- University of Houston - Department of Mathematics - Basic Set Theory
- Story of Mathematics - Set Theory – Definition and Examples
- Maths Is Fun - Set Theory
- Mathematics LibreTexts Library - Set Theory
- Utica University - Fundamental Structures of Mathematics - Set Theory
- University College London - Introduction to set theory
- Internet Encyclopedia of Philosophy - Set Theory
- Stanford Encyclopedia of Philosophy - Set Theory

*print*Print

Please select which sections you would like to print:

*verified*Cite

While every effort has been made to follow citation style rules, there may be some discrepancies.Please refer to the appropriate style manual or other sources if you have any questions.

Select Citation Style

Feedback

Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites

- Boston University - Basic Set Theory
- University of Houston - Department of Mathematics - Basic Set Theory
- Story of Mathematics - Set Theory – Definition and Examples
- Maths Is Fun - Set Theory
- Mathematics LibreTexts Library - Set Theory
- Utica University - Fundamental Structures of Mathematics - Set Theory
- University College London - Introduction to set theory
- Internet Encyclopedia of Philosophy - Set Theory
- Stanford Encyclopedia of Philosophy - Set Theory

Written by

Robert R. Stoll,

Herbert Enderton•All

Fact-checked by

The Editors of Encyclopaedia Britannica

Last Updated: •Article History

The symbol ∪ is employed to denote the union of two sets. Thus, the set *A* ∪ *B*—read “*A* union *B*” or “the union of *A* and *B*”—is defined as the set that consists of all elements belonging to either set *A* or set *B* (or both). For example, suppose that Committee *A*, consisting of the 5 members Jones, Blanshard, Nelson, Smith, and Hixon, meets with Committee *B*, consisting of the 5 members Blanshard, Morton, Hixon, Young, and Peters. Clearly, the union of Committees *A* and *B* must then consist of 8 members rather than 10—namely, Jones, Blanshard, Nelson, Smith, Morton, Hixon, Young, and Peters.

The intersection operation is denoted by the symbol ∩. The set *A* ∩ *B*—read “*A* intersection *B*” or “the intersection of *A* and *B*”—is defined as the set composed of all elements that belong to both *A* and *B*. Thus, the intersection of the two committees in the foregoing example is the set consisting of Blanshard and Hixon.

If *E* denotes the set of all positive even numbers and *O* denotes the set of all positive odd numbers, then their union yields the entire set of positive integers, and their intersection is the empty set. Any two sets whose intersection is the empty set are said to be disjoint.

When the admissible elements are restricted to some fixed class of objects *U*, *U* is called the universal set (or universe). Then for any subset *A* of *U*, the complement of *A* (symbolized by *A*′ or *U* − *A*) is defined as the set of all elements in the universe *U* that are not in *A*. For example, if the universe consists of the 26 letters of the alphabet, the complement of the set of vowels is the set of consonants.

In analytic geometry, the points on a Cartesian grid are ordered pairs (*x*, *y*) of numbers. In general, (*x*, *y*) ≠ (*y*, *x*); ordered pairs are defined so that (*a*, *b*) = (*c*, *d*) if and only if both *a* = *c* and *b* = *d*. In contrast, the set {*x*, *y*} is identical to the set {*y*, *x*} because they have exactly the same members.

The Cartesian product of two sets *A* and *B*, denoted by *A* × *B*, is defined as the set consisting of all ordered pairs (*a*, *b*) for which *a* ∊ *A* and *b* ∊ *B*. For example, if *A* = {*x*, *y*} and *B* = {3, 6, 9}, then *A* × *B* = {(*x*, 3), (*x*, 6), (*x*, 9), (*y*, 3), (*y*, 6), (*y*, 9)}.

## Relations in set theory

In mathematics, a relation is an association between, or property of, various objects. Relations can be represented by sets of ordered pairs (*a*, *b*) where *a* bears a relation to *b*. Sets of ordered pairs are commonly used to represent relations depicted on charts and graphs, on which, for example, calendar years may be paired with automobile production figures, weeks with stock market averages, and days with average temperatures.

A function *f* can be regarded as a relation between each object *x* in its domain and the value *f*(*x*). A function *f* is a relation with a special property, however: each *x* is related by *f* to one and only one *y*. That is, two ordered pairs (*x*, *y*) and (*x*, *z*) in *f* imply that *y* = *z*.

A one-to-one correspondence between sets *A* and *B* is similarly a pairing of each object in *A* with one and only one object in *B*, with the dual property that each object in *B* has been thereby paired with one and only one object in *A*. For example, if *A* = {*x*, *z*, *w*} and *B* = {4, 3, 9}, a one-to-one correspondence can be obtained by pairing *x* with 4, *z* with 3, and *w* with 9. This pairing can be represented by the set {(*x*, 4), (*z*, 3), (*w*, 9)} of ordered pairs.

Many relations display identifiable properties. For example, in the relation “is the same colour as,” each object bears the relation to itself as well as to some other objects. Such relations are said to be reflexive. The ordering relation “less than or equal to” (symbolized by ≤) is reflexive, but “less than” (symbolized by <) is not. The relation “is parallel to” (symbolized by ∥) has the property that, if an object bears the relation to a second object, then the second also bears that relation to the first. Relations with this property are said to be symmetric. (Note that the ordering relation is not symmetric.) These examples also have the property that whenever one object bears the relation to a second, which further bears the relation to a third, then the first bears that relation to the third—e.g., if *a* < *b* and *b* < *c*, then *a* < *c*. Such relations are said to be transitive.

Relations that have all three of these properties—reflexivity, symmetry, and transitivity—are called equivalence relations. In an equivalence relation, all elements related to a particular element, say *a*, are also related to each other, and they form what is called the equivalence class of *a*. For example, the equivalence class of a line for the relation “is parallel to” consists of the set of all lines parallel to it.

## Essential features of Cantorian set theory

At best, the foregoing description presents only an intuitive concept of a set. Essential features of the concept as Cantor understood it include: (1) that a set is a grouping into a single entity of objects of any kind, and (2) that, given an object *x* and a set *A*, exactly one of the statements *x* ∊ *A* and *x* ∉ *A* is true and the other is false. The definite relation that may or may not exist between an object and a set is called the membership relation.

A further intent of this description is conveyed by what is called the principle of extension—a set is determined by its members rather than by any particular way of describing the set. Thus, sets *A* and *B* are equal if and only if every element in *A* is also in *B* and every element in *B* is in *A*; symbolically, *x* ∊ *A* implies *x* ∊ *B* and vice versa. There exists, for example, exactly one set the members of which are 2, 3, 5, and 7. It does not matter whether its members are described as “prime numbers less than 10” or listed in some order (which order is immaterial) between small braces, possibly {5, 2, 7, 3}.

The positive integers {1, 2, 3, …} are typically used for counting the elements in a finite set. For example, the set {*a*, *b*, *c*} can be put in one-to-one correspondence with the elements of the set {1, 2, 3}. The number 3 is called the cardinal number, or cardinality, of the set {1, 2, 3} as well as any set that can be put into a one-to-one correspondence with it. (Because the empty set has no elements, its cardinality is defined as 0.) In general, a set *A* is finite and its cardinality is *n* if there exists a pairing of its elements with the set {1, 2, 3, …, *n*}. A set for which there is no such correspondence is said to be infinite.

To define infinite sets, Cantor used predicate formulas. The phrase “*x* is a professor” is an example of a formula; if the symbol *x* in this phrase is replaced by the name of a person, there results a declarative sentence that is true or false. The notation *S*(*x*) will be used to represent such a formula. The phrase “*x* is a professor at university *y* and *x* is a male” is a formula with two variables. If the occurrences of *x* and *y* are replaced by names of appropriate, specific objects, the result is a declarative sentence that is true or false. Given any formula *S*(*x*) that contains the letter *x* (and possibly others), Cantor’s principle of abstraction asserts the existence of a set *A* such that, for each object *x*, *x* ∊ *A* if and only if *S*(*x*) holds. (Mathematicians later formulated a restricted principle of abstraction, also known as the principle of comprehension, in which self-referencing predicates, or *S*(*A*), are excluded in order to prevent certain paradoxes. *See below* Cardinality and transfinite numbers.) Because of the principle of extension, the set *A* corresponding to *S*(*x*) must be unique, and it is symbolized by {*x* | *S*(*x*)}, which is read “The set of all objects *x* such that *S*(*x*).” For instance, {*x* | *x* is blue} is the set of all blue objects. This illustrates the fact that the principle of abstraction implies the existence of sets the elements of which are all objects having a certain property. It is actually more comprehensive. For example, it asserts the existence of a set *B* corresponding to “Either *x* is an astronaut or *x* is a natural number.” Astronauts have no particular property in common with numbers (other than both being members of *B*).