Intersection (set theory)

Last updated

The intersection of two sets
{\displaystyle A}
{\displaystyle B}
, represented by circles.
{\displaystyle A\cap B}
is in red. Venn0001.svg
The intersection of two sets and , represented by circles. is in red.

In mathematics, the intersection of two sets A and B, denoted by AB, [1] [2] is the set containing all elements of A that also belong to B (or equivalently, all elements of B that also belong to A). [3]


Notation and terminology

Intersection is written using the sign "∩" between the terms; that is, in infix notation. For example,

The intersection of more than two sets (generalized intersection) can be written as [1]

which is similar to capital-sigma notation.

For an explanation of the symbols used in this article, refer to the table of mathematical symbols.


Intersection of three sets:

{\displaystyle ~A\cap B\cap C} Venn 0000 0001.svg
Intersection of three sets:
Intersections of the Greek, Latin and Russian alphabet, considering only the shapes of the letters and ignoring their pronunciation Venn diagram gr la ru.svg
Intersections of the Greek, Latin and Russian alphabet, considering only the shapes of the letters and ignoring their pronunciation
Example of an intersection with sets PolygonsSetIntersection.svg
Example of an intersection with sets

The intersection of two sets A and B, denoted by AB, [1] [4] is the set of all objects that are members of both the sets A and B. In symbols,

That is, x is an element of the intersection AB, if and only if x is both an element of A and an element of B. [4]

For example:

Intersection is an associative operation; that is, for any sets A, B, and C, one has A ∩ (BC) = (AB) ∩ C. Intersection is also commutative; for any A and B, one has AB = BA. It thus makes sense to talk about intersections of multiple sets. The intersection of A, B, C, and D, for example, is unambiguously written ABCD.

Inside a universe U, one may define the complement Ac of A to be the set of all elements of U not in A. Furthermore, the intersection of A and B may be written as the complement of the union of their complements, derived easily from De Morgan's laws:
AB = (AcBc)c

Intersecting and disjoint sets

We say that A intersects (meets) B at an element x if x belongs to A and B. We say that A intersects (meets) B if A intersects B at some element. A intersects B if their intersection is inhabited.

We say that A and B are disjoint if A does not intersect B. In plain language, they have no elements in common. A and B are disjoint if their intersection is empty, denoted .

For example, the sets {1, 2} and {3, 4} are disjoint, while the set of even numbers intersects the set of multiples of 3 at the multiples of 6.

Arbitrary intersections

The most general notion is the intersection of an arbitrary nonempty collection of sets. If M is a nonempty set whose elements are themselves sets, then x is an element of the intersection of M if and only if for every element A of M, x is an element of A. In symbols:

The notation for this last concept can vary considerably. Set theorists will sometimes write "⋂M", while others will instead write "⋂AM A". The latter notation can be generalized to "⋂iI Ai", which refers to the intersection of the collection {Ai : i  I}. Here I is a nonempty set, and Ai is a set for every i in I.

In the case that the index set I is the set of natural numbers, notation analogous to that of an infinite product may be seen:

When formatting is difficult, this can also be written "A1 A2 A3 ∩ ...". This last example, an intersection of countably many sets, is actually very common; for an example, see the article on σ-algebras.

Nullary intersection

Conjunctions of the arguments in parentheses

The conjunction of no argument is the tautology (compare: empty product); accordingly the intersection of no set is the universe. Multigrade operator AND.svg
Conjunctions of the arguments in parentheses

The conjunction of no argument is the tautology (compare: empty product); accordingly the intersection of no set is the universe.

Note that in the previous section, we excluded the case where M was the empty set (∅). The reason is as follows: The intersection of the collection M is defined as the set (see set-builder notation)

If M is empty, there are no sets A in M, so the question becomes "which x's satisfy the stated condition?" The answer seems to be every possible x. When M is empty, the condition given above is an example of a vacuous truth. So the intersection of the empty family should be the universal set (the identity element for the operation of intersection), [5] but in standard (ZFC) set theory, the universal set does not exist.

In type theory however, x is of a prescribed type , so the intersection is understood to be of type (the type of sets whose elements are in ), and we can define to be the universal set of (the set whose elements are exactly all terms of type ).

See also

Related Research Articles

Prime ideal

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

Ideal (ring theory)

In ring theory, a branch of abstract algebra, an ideal of a ring is a special subset of its elements. Ideals generalize certain subsets of the integers, such as the even numbers or the multiples of 3. Addition and subtraction of even numbers preserves evenness, and multiplying an even number by any other integer results in another even number; these closure and absorption properties are the defining properties of an ideal. An ideal can be used to construct a quotient ring in a way similar to how, in group theory, a normal subgroup can be used to construct a quotient group.

Set (mathematics) Collection of mathematical objects

In mathematics, a set is a collection of distinct elements. The elements that make up a set can be any kind of things: people, letters of the alphabet, numbers, points in space, lines, other geometrical shapes, variables, or even other sets. Two sets are equal if and only if they have precisely the same elements.

In mathematical analysis and in probability theory, a σ-algebra on a set X is a collection Σ of subsets of X that includes X itself, is closed under complement, and is closed under countable unions.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

Open set Basic subset of a topological space

In mathematics, open sets are a generalization of open intervals in the real line. In a metric space—that is, when a distance is defined—open sets are the sets that, with every point P, contain all points that are sufficiently near to P.

In mathematics, the closure of a subset S of points in a topological space consists of all points in S together with all limit points of S. The closure of S may equivalently be defined as the union of S and its boundary, and also as the intersection of all closed sets containing S. Intuitively, the closure can be thought of as all the points that are either in S or "near" S. A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.

In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is closed under the limit operation. This should not be confused with a closed manifold.

Union (set theory) Mathematical operation where sets combine or relate

In set theory, the union of a collection of sets is the set of all elements in the collection. It is one of the fundamental operations through which sets can be combined and related to each other.

Complement (set theory) Set theory concept

In set theory, the complement of a set A, often denoted by Ac, are the elements not in A.

In mathematics, a base or basis for the topology τ of a topological space (X, τ) is a family B of open subsets of X such that every open set is equal to a union of some sub-family of B. For example, the set of all open intervals in the real number line is a basis for the Euclidean topology on because every open interval is an open set, and also every open subset of can be written as a union of some family of open intervals.

A mathematical symbol is a figure or a combination of figures that is used to represent a mathematical object, an action on mathematical objects, a relation between mathematical objects, or for structuring the other symbols that occur in a formula. As formulas are entirely constituted with symbols of various types, many symbols are needed for expressing all mathematics.

General topology Branch of topology

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. Another name for general topology is point-set topology.

Inclusion–exclusion principle

In combinatorics, a branch of mathematics, the inclusion–exclusion principle is a counting technique which generalizes the familiar method of obtaining the number of elements in the union of two finite sets; symbolically expressed as

In topology and related areas of mathematics, a subspace of a topological space X is a subset S of X which is equipped with a topology induced from that of X called the subspace topology.

In mathematics, a cylinder set is a set in the standard basis for the open sets of the product topology; they are also a generating family of the cylinder σ-algebra, which in the countable case is the product σ-algebra.

Near sets

In mathematics, near sets are either spatially close or descriptively close. Spatially close sets have nonempty intersection. In other words, spatially close sets are not disjoint sets, since they always have at least one element in common. Descriptively close sets contain elements that have matching descriptions. Such sets can be either disjoint or non-disjoint sets. Spatially near sets are also descriptively near sets.

Cartesian product

In mathematics, specifically set theory, the Cartesian product of two sets A and B, denoted A × B, is the set of all ordered pairs (a, b) where a is in A and b is in B. In terms of set-builder notation, that is

Filters in topology Use of filters to describe and characterize all basic topological notions and results.

In topology, a subfield of mathematics, filters are special families of subsets of a set that can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.


  1. 1 2 3 "Comprehensive List of Set Theory Symbols". Math Vault. 2020-04-11. Retrieved 2020-09-04.
  2. "Intersection of Sets". Retrieved 2020-09-04.
  3. "Stats: Probability Rules". Retrieved 2012-05-08.
  4. 1 2 "Set Operations | Union | Intersection | Complement | Difference | Mutually Exclusive | Partitions | De Morgan's Law | Distributive Law | Cartesian Product". Retrieved 2020-09-04.
  5. Megginson, Robert E. (1998), "Chapter 1", An introduction to Banach space theory, Graduate Texts in Mathematics, 183, New York: Springer-Verlag, pp. xx+596, ISBN   0-387-98431-3

Further reading