Note: Your browser may not currently support MathML. See our browser support page for additional details. You can always view the correct math in the PDF version.
We can extend the concept of subtraction, used in algebra, to the sets. If a set “B” is subtracted from set “A”, the resulting difference set consists of elements, which are exclusive to set “A”. We represent the symbol of difference of sets as “A-B” and pronounce the same as “A minus B”.
In the set builder form, the difference set is :
and
On Venn’s diagram, the difference "A-B" is the region of “A”, which excludes the common region with set “B”.
| Difference of two sets |
|---|
![]() |
Let us examine the defining set of intersection :
We consider an arbitrary element, say “x”, of the difference set. Then, we interpret the conditional meaning as :
The conditional statement is true in opposite direction as well. Hence,
We can summarize two statements with two ways arrow as :
From Venn’s diagram, we observe that if we derive union of (
| Difference of two sets |
|---|
![]() |
and
The positions of sets about minus operator affect the result. It is clear from the figure above, where “A-B” and “B-A” represent different regions on Venn’s diagram. As such, the difference of sets is not commutative. Let us consider the example used earlier, where :
Then,
and
Clearly,
From the Venn’s diagram, we can see that union of two sets is equal to three distinct regions. Alternatively, we can say that the region represented by the union of two sets is equal to the sum of the regions representing three “disjoint” sets (i) difference set A-B (ii) intersection set "
| Difference of two sets |
|---|
![]() |
We use the term “symmetric set” for combining two differences as marked on Venn’s diagram. It is denoted as “
The complement is a special case of the difference operation. The set in question is subtracted from universal set, “U”. Thus, one of the sets in difference operation is fixed. We define complement of a set as its difference with universal set, "U". The complement of a set is denoted by the same symbol as that of set, but with an apostrophe. Hence, complement of set A is set A’.
We write the complement set in terms of set builder form as :
Note that elements of A’ does not belong to set “A”. On Venn’s diagram, the complement of “A” is the remaining region of the universal set.
| Complement of a set |
|---|
![]() |
Proceeding as before we can read the conditional statement for the complement with the help of two ways arrow as :
In terms of minus or difference operation,
It is clear from the representation on Venn’s diagram that the universal set comprises of two distinct sets – set A and complement set A’.
The complement of universal set is empty set. It is so because difference of union set with itself is the empty set (see Venn's diagram).
The complement of the empty set is universal set. It is so because difference of union set with the empty set is universal set (see Venn's diagram).
The complement of complement set is set itself. The complement set is defined as :
Now, complement of complement set is :
Let us consider the example, where :
Then,
Again taking complement, we have :
The union of a set with its complement is universal set :
From Venn’s diagram also, we see that universal set consists of set A and component A’.
The two sets on the right side of the equation are disjoint sets. Hence,
There is nothing common between set A and its component A’. Thus, intersection of a set with its complement yields the empty set,
In the real world situation, we want to negate a condition of incidence. For example, consider a class in the school. Some students play either basketball or football or both, but there are students, who play neither basketball nor football. We have to identify later category of students as a set.
Let the set of students playing basketball be “B” and that playing football be “F”. Then, students who do not play basketball is complement set B’ and students who do not play football is complement set F’. We have shown these complement sets separately for visualization. Actually, these complement sets are drawn to the same universal set, "U".
Two complement sets are but overlapping sets. There are students in the set B’ who play football and there are students in the set F’, who play basketball. In order to remove those students playing other game, we intersect two complements. The members of the intersection of two complements, therefore, represent students who play neither basketball nor football. This intersection is shown as third bottom Venn’s diagram in the figure.
| Intersection |
|---|
![]() |
Looking at the intersection of two complement sets, however, we observe that this is equal to the complement of union “
This fact, as a matter of fact, is the first De-morgan’s law. Symbolically,
The second De-morgan’s law is :
In the parlance of illustration given earlier, let us interpret right hand side of the second De-morgan's law. The intersection “
| Component set |
|---|
![]() |
Here, we shall prove first De-morgan’s law in this section. The second law can be proved in similar fashion. Let us consider an arbitrary element “x” belonging to set (
Then, by definition of union,
Here, “not or” is interpreted same as “and”,
But, we had started with (
Similarly, we can start with
If sets are subsets of each other, then they are equal. Hence,
Problem 1: In the reference of students in a class, the set “B” represents students, who play basketball. The set “F” represents students, who play football. The set “B” and “F” are left and right circles respectively on the Venn's diagram shown below. Identify regions marked 1 to 8 on the Venn’s diagram. Also interpret regions identified by combination U – (6+7).
| sets |
|---|
![]() |
Solution :The meaning of regions market 1 – 8 are as given hereunder :
1 : B-F : It represents the difference of “B” and “F”. It consists of students, who play basketball, but not football.
2 : F-B : It represents the difference of “F” and “B”. It consists of students, who play football, but not basketball.
3 :
4 : B: It represents the set “B”. It is union of two disjoint sets “B-F” and “
5 : F: It represents the set “F”. It is union of two disjoint sets “F-B” and “
6 : B∪F: It represents the union set of set “B” and “F”. Equivalently, it is union of three disjoint sets “B-F”, “
7 : (
8 :
The region, identified by U – (6+7), is complement of “