We have pointed out that a set representing a real situation is not an isolated collection. Sets, in general, overlaps with each other. It is primarily because a set is defined on few characteristics, whereas elements generally can possess many characteristics. Unlike union, which includes all elements from two sets, the intersection between two sets includes only common elements.

- Definition 1: Intersection of two sets
The intersection of sets “A” and “B” is the set of all elements common to both “A” and “B”.

The use of word “and” between two sets in defining an intersection is quite significant. Compare it with the definition of union. We used the word “or” between two sets. Pondering on these two words, while deciding membership of union or intersection, is helpful in application situation.

The intersection operation is denoted by the symbol, "
∩
∩
". We can write intersection in set builder form as :

A
∩
B
=
{
x
:
x
∈
A
a
n
d
x
∈
B
}
A
∩
B
=
{
x
:
x
∈
A
a
n
d
x
∈
B
}

Again note use of the word “and” in set builder qualification. We can read this as “x” is an element, which belongs to set “A” and set “B”. Hence, it means that “x” belongs to both “A” and “B”.

In order to understand the operation, let us consider the earlier example again,

A
=
{
1,2,3,4,5,6
}
A
=
{
1,2,3,4,5,6
}

B
=
{
4,5,6,7,8
}
B
=
{
4,5,6,7,8
}

Then,

A
∩
B
=
{
4,5,6
}
A
∩
B
=
{
4,5,6
}

On Venn diagram, an intersection is the region intersected by circles, which represent two sets.

Let us examine the defining set of intersection :

A
∩
B
=
{
x
:
x
∈
A
a
n
d
x
∈
B
}
A
∩
B
=
{
x
:
x
∈
A
a
n
d
x
∈
B
}

We consider an arbitrary element, say “x”, of the intersection set. Then, we interpret the conditional meaning as :

I
f
x
∈
A
∩
B
⇒
x
∈
A
a
n
d
x
∈
B
.
I
f
x
∈
A
∩
B
⇒
x
∈
A
a
n
d
x
∈
B
.

The conditional statement is true in opposite direction as well. Hence,

I
f
x
∈
A
a
n
d
x
∈
B
⇒
x
∈
A
∩
B
.
I
f
x
∈
A
a
n
d
x
∈
B
⇒
x
∈
A
∩
B
.

We summarize two statements with two ways arrow as :

x
∈
A
∩
B
⇔
x
∈
A
a
n
d
x
∈
B
x
∈
A
∩
B
⇔
x
∈
A
a
n
d
x
∈
B

In addition to two ways relation, there is an interesting aspect of intersection. Intersection is subset of either of two sets. From Venn diagram, it is clear that :

A
∩
B
⊂
A
A
∩
B
⊂
A

and

A
∩
B
⊂
B
A
∩
B
⊂
B

Since all elements of a subset is present in the set, it emerges that intersection with subset is subset. Hence, if “A” is subset of set “B”, then :

B
∩
A
=
A
B
∩
A
=
A

If no element is common to two sets “A” and “B” , then the resulting intersection is an empty set :

A
∩
B
=
φ
A
∩
B
=
φ

In that case, two sets “A” and “B” are “disjoint” sets.

If
A
1
,
A
2
,
A
3
,
…
…
…
,
A
n
A
1
,
A
2
,
A
3
,
…
…
…
,
A
n
is a finite family of sets, then their intersections one after another is denoted as :

A
1
∩
A
2
∩
A
3
∩
…
…
.
∩
A
n
A
1
∩
A
2
∩
A
3
∩
…
…
.
∩
A
n

In this section we shall discuss some of the important characteristics/ deductions for the intersection operation.

The intersection of a set with itself is the set itself.

A
∩
A
=
A
A
∩
A
=
A

This is because intersection is a set of common elements. Here, all elements of a set is common with itself. The resulting intersection, therefore, is set itself.

The intersection with universal set yields the set itself. Hence, universal set functions as the identity of the intersection operator.

A
∩
U
=
A
A
∩
U
=
A

It is easy to interpret this law. Only the elements in "A" are common to universal set. Hence, intersection, being the set of common elements, is set "A".

Since empty set is element of all other sets, it emerges that intersection of an empty set with any set is an empty set (empty set is only common element between two sets).

φ
∩
A
=
φ
φ
∩
A
=
φ

The order of sets around intersection operator does not change the intersection. Hence, commutative property holds in the case of intersection operation.

A
∩
B
=
B
∩
A
A
∩
B
=
B
∩
A

The associative property holds with respect to intersection operator.

A
∩
B
∩
C
=
A
∩
B
∩
C
A
∩
B
∩
C
=
A
∩
B
∩
C

The intersection of sets “A” and “B” on Venn’s diagram is :

In turn, the intersection of set “A
∩
∩
B” and set “C” is the small region in the center :

It is easy to visualize that the ultimate intersection is independent of the sequence of operation.

The intersection operator(
∩
∩
) is distributed over union operator (
∪
∪
) :

A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C
A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C

We can check out this relation with the help of Venn diagram. For convenience, we have not shown the universal set. In the first diagram on the left, the colored region shows the union of sets “B” and “C” ie.
B
∪
C
B
∪
C
. The colored region in the second diagram on the right shows the intersection of set “A” with the union obtained in the first diagram i.e.
B
∪
C
B
∪
C
.

We can now interpret the colored region in the second diagram from the point of view of expression on the right hand side of the equation :

A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C
A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C

The colored region is indeed the union of two intersections : "
A
∪
B
A
∪
B
"
and "
A
∪
C
A
∪
C
"
. Thus, we conclude that distributive property holds for "intersection operator over union operator".

In the same manner, we can prove distribution of “union operator over intersection operator” :

A
∪
B
∩
C
=
A
∪
B
∩
A
∪
C
A
∪
B
∩
C
=
A
∪
B
∩
A
∪
C

Distributive properties are important and used for practical application. In this section, we shall prove the same in analytical manner. For this, let us consider an arbitrary element “x”, which belongs to set "
A
∩
B
∪
C
A
∩
B
∪
C
"
:

x
∈
A
∩
B
∪
C
x
∈
A
∩
B
∪
C

Then, by definition of intersection :

⇒
x
∈
A
a
n
d
x
∈
B
∪
C
⇒
x
∈
A
a
n
d
x
∈
B
∪
C

⇒
x
∈
A
a
n
d
x
∈
B
o
r
x
∈
C
⇒
x
∈
A
a
n
d
x
∈
B
o
r
x
∈
C

⇒
x
∈
A
a
n
d
x
∈
B
o
r
x
∈
A
a
n
d
x
∈
C
⇒
x
∈
A
a
n
d
x
∈
B
o
r
x
∈
A
a
n
d
x
∈
C

⇒
x
∈
A
∩
B
o
r
x
∈
A
∩
C
⇒
x
∈
A
∩
B
o
r
x
∈
A
∩
C

⇒
x
∈
A
∩
B
o
r
A
∩
C
⇒
x
∈
A
∩
B
o
r
A
∩
C

⇒
x
∈
A
∩
B
∪
A
∩
C
⇒
x
∈
A
∩
B
∪
A
∩
C

But, we had started with "
A
∩
B
∪
C
A
∩
B
∪
C
" and used its definition to show that “x” belongs to another set. It means that the other set consists of the elements of the first set – at the least. Thus,

⇒
A
∩
B
∪
C
⊂
A
∩
B
∪
A
∩
C
⇒
A
∩
B
∪
C
⊂
A
∩
B
∪
A
∩
C

Similarly, we can start with "
A
∩
B
∪
A
∩
C
A
∩
B
∪
A
∩
C
" and reach the conclusion that :

⇒
A
∩
B
∪
A
∩
C
⊂
A
∩
B
∪
C
⇒
A
∩
B
∪
A
∩
C
⊂
A
∩
B
∪
C

If sets are subsets of each other, then they are equal. Hence,

⇒
A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C
⇒
A
∩
B
∪
C
=
A
∩
B
∪
A
∩
C

Proceeding in the same manner, we can also prove other distributive property of “union operator over intersection operator” :

A
∪
B
∩
C
=
A
∪
B
∩
A
∪
C
A
∪
B
∩
C
=
A
∪
B
∩
A
∪
C