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
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.
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)$
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$
In set theory, the notation for subsets plays a crucial role in expressing mathematical relationships. The standard symbols include:
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$
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.
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.
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$
If a set contains $n$ elements, then:
Example:
Let $X = \{1, 2\}$
Proper subsets of $X$ are:
$\{\}, \{1\}, \{2\}$
The only subset not considered proper is $X$ itself, i.e., $\{1, 2\}$.
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:
Some subsets have special significance in set theory:
Example:
Let $A = \{x, y\}$, then:
$\emptyset \subset A$
Example:
If $U = \{1, 2, 3, 4, 5\}$ and $A = \{2, 3\}$, then:
$A \subseteq U$
Subsets can also be classified based on the number of elements they contain:
Example:
$A = \{2, 4, 6\}$ is a finite subset of $B = \{2, 4, 6, 8, 10\}$
$A \subset B$
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$.
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.
Below are the fundamental rules and characteristics that apply to all subsets:
The relationship between sets and subsets is hierarchical and directional. It is based on element inclusion:
Example:
Let $A = \{1, 2\}$ and $B = \{1, 2, 3\}$, then:
Also, note:
Several important theorems govern how subsets behave and relate to one another:
If $A \subseteq B$ and $B \subseteq C$, then $A \subseteq C$.
(This is known as the transitive property of subsets.)
The empty set is a subset of every set:
$\emptyset \subseteq A$
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).
Let $A = \{x, y\}$, then:
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.
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,
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} $.
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:
Examples:
While intervals are continuous subsets of $\mathbb{R}$, general subsets can be discrete or non-continuous.
Intervals may extend infinitely:
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$.
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.
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
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)
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.