Skip to content Skip to navigation Skip to collection information

OpenStax_CNX

You are here: Home » Content » Functions » Intersection of sets

Navigation

Recently Viewed

This feature requires Javascript to be enabled.
 

Intersection of sets

Module by: Sunil Kumar Singh. E-mail the author

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 :

Figure 1: The intersection set consists of elements common to two sets.
Intersection of two sets
 Intersection of two sets  (i1.gif)

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.

Figure 2: The intersection set consists of elements common to two sets.
Intersection of two sets
 Intersection of two sets  (i2.gif)

Interpretation of Intersection set

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 :

Figure 3: The intersection set consists of elements common to two sets.
Intersection of two sets
 Intersection of two sets  (i1.gif)

A B A A B A

and

A B B A B B

Intersection with a subset

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

Intersection of disjoint sets

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.

Multiple intersections

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

Important results

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

Idempotent law

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.

Identity law

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".

Law of empty set

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 = φ

Commutative law

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

Associative law

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 :

Figure 4: The intersection is a set of common elements and shown as colored region.
Intersection of two sets
 Intersection of two sets  (i3.gif)

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

Figure 5: Intersection of a set with "the intersection set of two sets"
Intersection inloving three sets
 Intersection inloving three sets  (i4.gif)

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

Distributive law

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 .

Figure 6: Distribution of intersection operator over union operator
Distributive law
 Distributive law  (i5.gif)

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

Analytical proof

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

Collection Navigation

Content actions

Download:

Collection as:

PDF | EPUB (?)

What is an EPUB file?

EPUB is an electronic book format that can be read on a variety of mobile devices.

Downloading to a reading device

For detailed instructions on how to download this content's EPUB to your specific device, click the "(?)" link.

| More downloads ...

Module as:

PDF | EPUB (?)

What is an EPUB file?

EPUB is an electronic book format that can be read on a variety of mobile devices.

Downloading to a reading device

For detailed instructions on how to download this content's EPUB to your specific device, click the "(?)" link.

| More downloads ...

Add:

Collection to:

My Favorites (?)

'My Favorites' is a special kind of lens which you can use to bookmark modules and collections. 'My Favorites' can only be seen by you, and collections saved in 'My Favorites' can remember the last module you were on. You need an account to use 'My Favorites'.

| A lens I own (?)

Definition of a lens

Lenses

A lens is a custom view of the content in the repository. You can think of it as a fancy kind of list that will let you see content through the eyes of organizations and people you trust.

What is in a lens?

Lens makers point to materials (modules and collections), creating a guide that includes their own comments and descriptive tags about the content.

Who can create a lens?

Any individual member, a community, or a respected organization.

What are tags? tag icon

Tags are descriptors added by lens makers to help label content, attaching a vocabulary that is meaningful in the context of the lens.

| External bookmarks

Module to:

My Favorites (?)

'My Favorites' is a special kind of lens which you can use to bookmark modules and collections. 'My Favorites' can only be seen by you, and collections saved in 'My Favorites' can remember the last module you were on. You need an account to use 'My Favorites'.

| A lens I own (?)

Definition of a lens

Lenses

A lens is a custom view of the content in the repository. You can think of it as a fancy kind of list that will let you see content through the eyes of organizations and people you trust.

What is in a lens?

Lens makers point to materials (modules and collections), creating a guide that includes their own comments and descriptive tags about the content.

Who can create a lens?

Any individual member, a community, or a respected organization.

What are tags? tag icon

Tags are descriptors added by lens makers to help label content, attaching a vocabulary that is meaningful in the context of the lens.

| External bookmarks