Subsets and types of subsets

Subsets and types of subsets

Komal MiglaniUpdated on 02 Jul 2025, 06:38 PM IST

A subset is a fundamental concept in set theory, forming the basis for various operations and relationships in mathematics. When we say one set is a subset of another, it means that every element of the first set is also an element of the second. Subsets are essential in understanding how sets relate to each other and are widely used in algebra, logic, and real-life problem-solving. In this article on Subsets, Proper Subset, Improper Subset, Intervals, we will define subsets, explain what a subset is in Maths, explore the types of subsets, and discuss the properties of subsets with clear examples. You’ll also learn about the classifications of subsets, including proper and improper subsets, and understand how intervals fit into the broader context of set theory.

This Story also Contains

  1. What is a Subset in Maths?
  2. Types of Subsets
  3. Properties of Subsets
  4. Power Set of a Set
  5. Intervals as Subsets of Real Numbers
  6. Solved Examples based on Subsets
  7. Practice Questions based on Subsets
  8. NCERT Useful Resources
  9. List of related topics to Subsets
Subsets and types of subsets
Subsets and types of subsets

What is a Subset in Maths?

A subset is a fundamental idea in set theory and mathematics as a whole. It helps us understand how collections of elements relate to each other, especially in topics like algebra, geometry, and statistics. A set is simply a well-defined collection of distinct objects, known as elements, which may include numbers, letters, people, or other items. Sets are typically represented by capital letters such as $A, B, C, S, U, V$. The idea of a subset emerges when we compare two sets and check whether all elements of one set are also present in another.

In this context, a subset refers to a set whose elements are entirely contained within another set. Understanding this relationship is essential for working with data groups, mathematical functions, and logical reasoning.

Examples of Subsets

In mathematical terms, if $A$ and $B$ are two sets, then $A$ is a subset of $B$, written as $A \subseteq B$, if every element of $A$ is also an element of $B$. This relationship is formally defined as:

$A \subseteq B \Leftrightarrow \forall x(x \in A \Rightarrow x \in B)$

Subset and Superset

Let’s take a few simple examples to understand this:

Example 1:
Let $A = \{1, 2, 3\}$ and $B = \{1, 2, 3, 4, 5\}$
Since every element of $A$ is present in $B$, we can say:
$A \subseteq B$

Example 2:
Let $P = \{a, b\}$ and $Q = \{a, b, c\}$
Then:
$P \subseteq Q$

Example 3:
Let $X = \{7, 8\}$ and $Y = \{6, 7, 8, 9\}$
Then clearly:
$X \subseteq Y$

Symbol and Notation of Subsets in Set Theory

In set theory, the notation for subsets plays a crucial role in expressing mathematical relationships. The standard symbols include:

  • $A \subseteq B$: $A$ is a subset of $B$ (possibly equal).
  • $A \subset B$: $A$ is a proper subset of $B$ (all elements of $A$ are in $B$, but $A \ne B$).
  • $A \not\subseteq B$: $A$ is not a subset of $B$.

These notations help represent inclusion relationships between sets clearly and concisely.

What is the difference between $\subseteq$ and $\subset$? The symbol $\subseteq$ represents a subset while $\subset$ represents a proper subset.

For example:

If $M = \{2, 4\}$ and $N = \{2, 4, 6\}$, then:
$M \subset N$

However, if $M = \{2, 4, 6\}$ and $N = \{2, 4, 6\}$, then:
$M \subseteq N$ but not $M \subset N$

Real-Life Examples

Subsets are not just abstract concepts; they are used frequently in real-world contexts. Consider the following examples:

Example 1: Subjects in a Class
If Set $A = \{\text{Math, Science}\}$ and Set $B = \{\text{Math, Science, History, English}\}$, then:
$A \subseteq B$
Here, the subjects Math and Science are part of a larger curriculum.

Example 2: Team Members
If $A = \{\text{Riya, Karan}\}$ and $B = \{\text{Riya, Karan, Mitali, Aarav}\}$, then:
$A \subseteq B$
This shows a smaller group of team members inside a larger team.

Example 3: Fruits in a Basket
Let $A = \{\text{Apple, Banana}\}$ and $B = \{\text{Apple, Banana, Mango, Orange}\}$. Then:
$A \subseteq B$
This represents a subset of fruits taken from a bigger fruit basket.

These examples show how subsets help in organising and analysing grouped data or categories in daily life, education, and business logic.

Types of Subsets

In set theory, subsets can be further classified based on how they relate to the original or larger set. Understanding the types of subsets in mathematics helps in analysing the structure and relationships between sets in more depth. The primary classifications include proper subsets, improper subsets, and special subsets like the empty set and the universal set. Subsets can also be categorised based on whether they are finite or infinite in nature.

Proper Subsets – Definition and Examples

A proper subset is a subset that contains some but not all elements of the original set. In simple terms, if $A$ is a proper subset of set $B$, it means every element of $A$ is in $B$, but $A$ is not equal to $B$. The notation used is:

$A \subset B$

This symbol $\subset$ is read as “A is a proper subset of B.”

Example:

Let $A = \{1, 2\}$ and $B = \{1, 2, 3\}$, then: $A \subset B$

Total Number of Proper Subsets:

If a set contains $n$ elements, then:

  • Total subsets = $2^n$
  • Proper subsets = $2^n - 1$
JEE Main Highest Scoring Chapters & Topics
Focus on high-weightage topics with this eBook and prepare smarter. Gain accuracy, speed, and a better chance at scoring higher.
Download E-book

Example:

Let $X = \{1, 2\}$

  • Number of elements = $n = 2$
  • Total subsets = $2^2 = 4$
  • Proper subsets = $2^2 - 1 = 3$

Proper subsets of $X$ are:

$\{\}, \{1\}, \{2\}$

The only subset not considered proper is $X$ itself, i.e., $\{1, 2\}$.

Improper Subsets – What Makes a Subset Improper?

An improper subset is a subset that is identical to the original set. In fact, every set is always an improper subset of itself. This type of subset does not exclude any element from the parent set. It is an essential concept because it guarantees that every set will always have at least one subset itself.

Examples:

  1. Let $A = \{a, s, c\}$
    Subsets of $A$:
    $\{\}, \{a\}, \{s\}, \{c\}, \{a,s\}, \{a,c\}, \{s,c\}, \{a,s,c\}$
    Here, $\{a,s,c\}$ is the improper subset; all others are proper.
  2. Let $B = \{2, 3, 4\}$
    Subsets of $B$:
    $\{\}, \{2\}, \{3\}, \{4\}, \{2,3\}, \{2,4\}, \{3,4\}, \{2,3,4\}$
    $\{2,3,4\}$ is the improper subset of $B$.

Universal Set and Empty Set as Special Subsets

Some subsets have special significance in set theory:

Empty Set ($\emptyset$ or ${}$):

  • A set that contains no elements.
  • It is a subset of every set.
  • It is always considered a proper subset of any non-empty set.

Example:

Let $A = \{x, y\}$, then:

$\emptyset \subset A$

Universal Set ($U$):

  • A set that contains all elements under consideration for a particular discussion or problem.
  • Every set in the given context is a subset of the universal set.

Example:

If $U = \{1, 2, 3, 4, 5\}$ and $A = \{2, 3\}$, then:

$A \subseteq U$

Finite and Infinite Subsets

Subsets can also be classified based on the number of elements they contain:

Finite Subsets:

  • Contain a countable number of elements.
  • Can be listed exhaustively.

Example:

$A = \{2, 4, 6\}$ is a finite subset of $B = \{2, 4, 6, 8, 10\}$

$A \subset B$

Infinite Subsets:

  • Contain an uncountable or infinite number of elements.
  • Often seen in sets of natural numbers, real numbers, etc.

Example:

Let $A = \{2, 4, 6, 8, 10, \dots\}$ be the set of all even natural numbers
and $B = \mathbb{N}$ (set of all natural numbers), then:

$A \subset B$

Here, $A$ is an infinite proper subset of the infinite set $B$.

Properties of Subsets

Understanding the properties of subsets is crucial for working efficiently with set operations and relations in mathematics. These properties form the basis for how sets interact and are often used in proving statements or solving problems in algebra, logic, and number theory.

Basic Rules and Characteristics of Subsets

Below are the fundamental rules and characteristics that apply to all subsets:

  • Reflexive Property: Every set is always a subset of itself.
    For any set $A$, $A \subseteq A$
  • Empty Set Property: The empty set is a subset of every set.
    For any set $A$, $\emptyset \subseteq A$
  • Total Number of Subsets: If a set has $n$ elements, then the total number of possible subsets is given by: $2^n$
  • Proper Subsets Count: The number of proper subsets of a set with $n$ elements is: $2^n - 1$
  • Singleton Set: A set with a single element is called a singleton set and is a subset of any set that contains that element.

Relationship Between Sets and Subsets

The relationship between sets and subsets is hierarchical and directional. It is based on element inclusion:

  • If $A \subseteq B$, every element of $A$ is in $B$, but $B$ may contain additional elements.
  • If $A \subset B$, then $A$ is a proper subset of $B$, meaning $A$ is not equal to $B$.
  • If $A = B$, both sets contain exactly the same elements; hence, $A$ is an improper subset of $B$.

Example:

Let $A = \{1, 2\}$ and $B = \{1, 2, 3\}$, then:

  • $A \subset B$ (proper subset)
  • $A \subseteq B$ (subset)
  • $A \ne B$

Also, note:

  • $\emptyset \subseteq A$
  • $A \subseteq A$

Important Theorems on Subsets

Several important theorems govern how subsets behave and relate to one another:

Theorem 1:

If $A \subseteq B$ and $B \subseteq C$, then $A \subseteq C$.
(This is known as the transitive property of subsets.)

Theorem 2:

The empty set is a subset of every set:
$\emptyset \subseteq A$

Theorem 3:

If $A$ has $n$ elements, then its power set, the set of all subsets, is denoted by $P(A)$ and contains:
$|P(A)| = 2^n$
where $|\cdot|$ denotes cardinality (number of elements).

Example:

Let $A = \{x, y\}$, then:

  • Subsets: $\emptyset$, $\{x\}$, $\{y\}$, $\{x, y\}$
  • Total subsets: $2^2 = 4$

Power set of $A$:
$P(A) = \{\emptyset, \{x\}, \{y\}, \{x, y\}\}$

These properties and theorems help in building a strong foundation in understanding types of subsets, set operations, and logical proofs in higher mathematics.

Power Set of a Set

The power set of a set is defined as a set of all the subsets (along with the empty set and the original set). The power set of a set Y is denoted by P(Y). If Y has n elements, then P(Y) has 2n elements. For example,

  • If $E = \{x, p\}$, then $P(E) = \{ \{ \}, \{x\}, \{p\}, \{x, p\} \}$
    Total number of elements = 4.
  • If $A = \{a, b, c\}$, then $P(A) = \{\ { \}, \{a\}, \{b\}, \{c\}, \{a, b\}, \{b, c\}, \{c, a\}, \{a, b, c\} \}$
    Observe that A has 3 elements and P(A) has $2^3 = 8$ elements.

Intervals as Subsets of Real Numbers

In set theory and real analysis, intervals are special types of subsets of real numbers. They represent all real numbers lying between two endpoints and are widely used in functions, calculus, and inequalities. These intervals can be bounded or unbounded and are always subsets of the real number line $ \mathbb{R} $.

Open, Closed, and Half-Open Intervals

Intervals are classified based on whether their endpoints are included or not:

Open Interval $(a, b)$:
Includes all real numbers strictly between $a$ and $b$ (excluding endpoints).
$(a, b) = \{x \in \mathbb{R} \mid a < x < b\}$

Closed Interval $[a, b]$:
Includes all real numbers between $a$ and $b$, including both endpoints.
$[a, b] = \{x \in \mathbb{R} \mid a \leq x \leq b\}$

Half-Open Interval

$[a, b)$:
Includes $a$ but not $b$.
$[a, b) = \{x \in \mathbb{R} \mid a \leq x < b\}$

$(a, b]$:
Includes $b$ but not $a$.
$(a, b] = \{x \in \mathbb{R} \mid a < x \leq b\}$

Graphical Representation of Intervals

On a number line:

  • Closed dots represent inclusion of endpoints (used for $[a, b]$).
  • Open dots represent exclusion of endpoints (used for $(a, b)$).

Intervals

Examples:

  • $[2, 5]$: solid dots at $2$ and $5$
  • $(2, 5)$: open dots at $2$ and $5$
  • $[2, 5)$: solid dot at $2$, open dot at $5$

Difference Between Intervals and General Subsets

While intervals are continuous subsets of $\mathbb{R}$, general subsets can be discrete or non-continuous.

  • Interval Example:
    $(1, 5) = \{x \in \mathbb{R} \mid 1 < x < 5\}$
  • General Subset Example:
    $A = \{1, 2, 3, 5\}$
    (Not an interval, as $4$ is missing.)
  • Notation: Intervals use (, ), [, ]; subsets use curly braces $\{\}$.

Infinite Intervals

Intervals may extend infinitely:

  • Left-Unbounded:
    $(-\infty, b) = \{x \in \mathbb{R} \mid x < b\}$
  • Right-Unbounded:
    $(a, \infty) = \{x \in \mathbb{R} \mid x > a\}$
  • Entire Real Line:
    $(-\infty, \infty) = \mathbb{R}$

Solved Examples based on Subsets

Example 1: Let $A$ and $B$ be two sets containing four and two elements, respectively. Then the number of subsets of the set $A \times B$, each having at least three elements, is:

Solution: $A$ set $A$ is said to be a subset of a set $B$ if every element of $A$ is also an element of $B$.
wherein
It is represented by $\subset$. eg. $A \subset B$ if $A=\{2,4\}$ and $B=\{1,2,3,4,5\}$
Let $A$ having elements $\{\mathrm{a}, \mathrm{b}, \mathrm{c}, \mathrm{d}\}$ and $B$ having $\{\mathrm{e}, \mathrm{f}\}$
Then $A \times B$ having 8 elements and no. of subsets $=2^8=256$
No. of subsets $=\phi,(a e), \ldots \ldots(d f)$ and (ae, be) $\ldots \ldots \ldots=256$

Now $8$ subsets have only one element

$\{ae\},\{af\},\{be\},.......\{df\}$

Similarly

No of the sets having two elements

$\{ae,af\}, \{ae,be\}, .....\{ae,df\}=7$ elements

$\{af,be\},\{af,bf\}..........= 6$ elements

$7 + 6 + 5 + 4 + 3 + 2 + 1 = 28$ (having two elements)

and a subset having a single element $\phi$

$28 + 8+1 = 37$

At least three elements $= 256 - 37 = 219 $

Hence, the answer is $219.$

Example 2: If $A=\{1,2,3,5,7\}$ and $B=\{3,5\}$, then :
1) $A \subset B$
2) $B \not \subset A$
3) $A=B$
4) $B \subset A$

Solution: All elements of $B$ are present in $A$, thus $B \subset A$.
Hence, the answer is option 4.

Example 3: If a set $A$ has $8$ elements, then the number of proper subsets of the $\operatorname{set} A$ is
Solution:
Number of proper subsets $=2^8-1=256-1=255$
Hence, the answer is $255$.

Example 4: Let $S=\{1,2,3, \cdots, 100\}$. The number of non-empty subsets A of S such that the product of elements in A is even is:
1) $2^{50}\left(2^{50}-1\right)$
2) $2^{100}-1$
3) $2^{50}-1$
4) $2^{50}+1$

Solution: Number of subsets of a set -
If a set has n elements, then it has $2^{\mathrm{n}}$ subsets.
In this Question,
Subsets $\boldsymbol{=}$ Total Subsets $\boldsymbol{-}$ Number of subsets which have only odd numbers
$
\begin{aligned}
& =2^{100}-2^{50} \\
& =2^{50}\left(2^{50}-1\right)
\end{aligned}
$
Hence, the answer is option 1.

Example 5: If a set has $32$ subsets. How many elements does it have?
Solution: As we know, if a set has $n$ elements, it will have $2^n$ subsets.
Thus $2^n=32$

$\Rightarrow n=5$

Hence, the answer is $5$.

Practice Questions based on Subsets

This section offers a set of carefully designed practice questions based on subsets, aimed at reinforcing your understanding of key set theory concepts. It includes multiple-choice questions covering finite and infinite sets, singleton sets, power sets, as well as operations like union, intersection, and difference of sets.

Subsets, Proper Subset, Improper Subset, Intervals - Practice Question MCQ

Practice questions on the next topics covering various concepts based on sets, properties of sets such as union, intersection, difference, etc.

NCERT Useful Resources

This section provides a collection of valuable NCERT study materials for Class 11 Mathematics Chapter 1 – Sets. It includes comprehensive notes, solved NCERT textbook questions, and exemplar problems to help you strengthen your understanding and master the concepts effectively.

NCERT Maths Class 11 Chapter 1 Sets Notes

NCERT Maths Class 11 Chapter 1 Sets Solutions

NCERT Maths Exemplar Problems Class 11 Chapter 1 Sets

List of related topics to Subsets

To strengthen your grasp of Subsets and their types, it's important to study other related concepts in set theory. Topics like Equal and Equivalent Sets, Finite and Infinite Sets, Singleton Set, Power Set, and Universal Set are closely linked and often used together in problems. Understanding these will provide a clearer framework for identifying, comparing, and working with subsets in various mathematical contexts.


Frequently Asked Questions (FAQs)

Q: How do subsets relate to the concept of a Boolean ring in algebra?
A:

A Boolean ring is a ring where every element is idempotent (x^2 = x for all x). The set of all subsets of a given set forms a Boolean ring under symmetric difference as addition and intersection as multiplication. This connection between subsets and Boolean rings is fundamental in studying Boolean algebras and their applications.

Q: What is a convex subset?
A:

A convex subset of a vector space is a subset where, for any two points in the subset, all points on the line segment connecting them are also in the subset. This concept is crucial in optimization theory and geometry.

Q: How do subsets relate to the concept of a basis in linear algebra?
A:

In linear algebra, a basis is a subset of vectors in a vector space that spans the entire space and is linearly independent. Understanding subsets is crucial for identifying and working with bases, which are fundamental in solving systems of equations and understanding vector spaces.

Q: What is the connection between subsets and partial orders?
A:

The subset relation defines a partial order on the power set of any set. For any two subsets A and B of a set S, either A ⊆ B, B ⊆ A, or they are incomparable. This partial order is fundamental in order theory and has applications in computer science and logic.

Q: How do subsets relate to the concept of a filter in order theory?
A:

In order theory, a filter on a set X is a collection of subsets of X that is closed under finite intersections and supersets. Filters are important in topology, set theory, and logic, providing a way to generalize the notion of convergence.

Q: What is the role of subsets in defining continuity in topology?
A:

In topology, continuity is defined using subsets. A function f: X → Y between topological spaces is continuous if the preimage of every open subset of Y is an open subset of X. This definition generalizes the ε-δ definition of continuity in real analysis.

Q: How does the concept of subsets apply to group theory, particularly in defining subgroups?
A:

In group theory, a subgroup is a subset of a group that is itself a group under the same operation. Not every subset of a group is a subgroup; it must be closed under the group operation and contain the identity element and inverses of its elements.

Q: What is the relationship between subsets and quotient sets?
A:

Quotient sets are formed by partitioning a set into equivalence classes, which are subsets. Each equivalence class is a subset of the original set, and the collection of all equivalence classes forms the quotient set. This concept is crucial in abstract algebra and topology.

Q: How do subsets relate to the concept of a σ-field in probability theory?
A:

A σ-field (sigma-field) is a collection of subsets of a sample space that satisfies certain properties. It includes the sample space itself, is closed under complement, and is closed under countable unions. σ-fields are fundamental in defining probability measures.

Q: What is the connection between subsets and category theory?
A:

In category theory, subsets can be generalized to the concept of subobjects. The category of sets and functions has a natural notion of subobject corresponding to subsets. This generalization allows for a more abstract treatment of "sub-structures" across different mathematical domains.