Disjoint Sets are one of the types of many pair of sets, which are used in Set Theory, other than this other types are equivalent sets, equal sets, etc. Set Theory is the branch of mathematics that deals with the collection of objects and generalized various properties for these collections of objects.

In this article, we will learn about Disjoint Sets in detail including their definition, condition, and Venn diagram. We will also learn about how to check disjoint sets and disjointed unions of sets along with the examples. Disjoint sets are used in various fields of mathematics and data structures. Let’s start our learning on the topic of Disjoint Sets.

What is Disjoint Set?

Disjoint sets are also known as disjoint collections or non-intersecting sets and refer to those sets which don’t have any identical element common between them.

For example, A = {1, 2, a} and B = {3, 4, b} then, A ∩ B = ϕ. For this example, A and B are disjoint sets as both do not contain the same element.

Disjoint Set Definition

Disjoint sets are sets that do not contain any common element. The sets which when intersected results in an empty set or null set are called Disjoint Sets. The disjoint sets are also called mutually exclusive sets or independent sets.

If P = {a, b} and Q = {c, d} then, P ∩ Q = ϕ as there is no same element in set P and set Q. Thus, P and Q are called disjoint sets.

Condition for Disjoint Sets

If A and B are two disjoint sets then, their intersection must be an empty set i.e.,

A ∩ B = ϕ

How to Check if Sets are Disjoint or Not?

To check whether the given sets are disjoint or not we follow below steps:

Step 1: Compare the elements of given sets.

Step 2: Compute the intersection of these sets.

Step 3: Apply the disjoint set condition i.e., A ∩ B = ϕ.

Step 4: If condition satisfies, the sets are disjoint otherwise not.

Disjoint Set Example

Example: Check whether the given sets A = {20, 25, 39} and B = {5, 19} are disjoint or not.

Answer:

Given sets,

A = {20, 25, 39} and B = {5, 19}

Check the condition: A ∩ B = ϕ

A ∩ B = {20, 25, 39} ∩ {5, 19}

⇒ A ∩ B = ϕ (condition satisfied)

Sets A and B are disjoint sets.

Disjoint Set Venn Diagram

In set theory, we represent the sets in the form of Venn diagrams. In the Venn diagram for disjoint sets, there is no overlapping of sets as there is no common element present in the sets.

Following is the Venn diagram for disjoint sets A and B:

Learn more about Venn Diagram.

Pairwise Disjoint Set

Pairwise Disjoint set is the group of subsets. If A is the set of collection of sets. X and Y be the two sets in A. If X and Y are subsets of A, X ≠ Y, and X ∩ Y = ϕ, then X and Y are called pairwise disjoint sets. The pairwise disjoint set is also called a mutually disjoint set. The mathematically pairwise disjoint set is given as:

X ⊆ A, Y ⊆ A, X ≠ Y and X ∩ Y = ϕ

Disjoint Union of Set

Union is the set operation performed on two sets resulting in a set containing all the elements of two sets. The disjoint union of sets is different from the regular union operation of sets. The disjoint union is a binary operation on two disjoint sets. After performing the disjoint union operation, the resultant set should satisfy the condition for the disjoint set. The disjoint union of a set is also called discriminated union as well.

The resultant set after the disjoint union of the set contains the element in ordered pair (p, q) where q defines the index from where element p is selected. For performing the disjoint union of sets, we have to do some changes in the given sets, and these changes and operation is given as follows:

A ∪* B = (A × {0}) ∪ (B × {1}) = A* ∪ B*

Where,

• A and B are disjoint sets,
• ∪* represents the disjoint union.

Example: If P = {9, 12} and Q = {5, 13} are disjoint sets then find a disjoint union of sets.

Answer:

P ∪* Q = (P × {0}) ∪ (Q × {1}) = P* ∪ Q*

P* = (P × {0})

⇒ P* = {(9, 0), (12, 0)}

and Q* = (Q × {1})

⇒ Q* = {(5, 1), (13, 1)}

P ∪* Q = P* ∪ Q*

⇒ P ∪* Q = {(9, 0), (12, 0)} ∪ {(5, 1), (13, 1)}

⇒ P ∪* Q = {(9, 0), (12, 0), (5, 1), (13, 1)}

Are Two Empty Sets Disjoint?

According to the definition and condition of the disjoint sets, if the intersection of sets results in an empty set, then the sets are called disjoint sets. When we perform the intersection of two empty sets it results in an empty set i.e., it satisfies the condition for disjoint sets.

ϕ ∩ ϕ = ϕ

Thus, the empty set is a disjoint set of itself.

Difference Between Joint and Disjoint Sets