Mathwords logoReference LibraryMathwords

Proper Subset

Proper Subset

A subset which is not the same as the original set itself.

For example, {a, b} is a proper subset of {a, b, c}, but {a, b, c} is not a proper subset of {a, b, c}.

 

 

See also

Superset, infinte

Key Formula

A⊂B  ⟺  (∀x,  x∈A⇒x∈B)   and   A≠BA \subset B \iff (\forall x,\; x \in A \Rightarrow x \in B) \;\text{ and }\; A \neq B
Where:
  • AA = The proper subset — every element of A belongs to B, but A is not equal to B
  • BB = The larger set that contains all elements of A plus at least one additional element
  • ⊂\subset = The proper subset symbol (some textbooks use ⊊ instead)

Worked Example

Problem: Let B = {1, 2, 3, 4, 5}. Determine whether each of the following is a proper subset of B: A₁ = {1, 3, 5}, A₂ = {1, 2, 3, 4, 5}, and A₃ = ∅ (the empty set).
Step 1: Check A₁ = {1, 3, 5}. Every element of A₁ (namely 1, 3, and 5) is in B, so A₁ is a subset of B. Also, A₁ ≠ B because B contains 2 and 4, which A₁ does not.
A1⊂B✓A_1 \subset B \quad \checkmark
Step 2: Check A₂ = {1, 2, 3, 4, 5}. Every element of A₂ is in B, and every element of B is in A₂. The two sets are equal, so A₂ is a subset of B but NOT a proper subset.
A2=B  ⟹  A2⊄BA_2 = B \implies A_2 \not\subset B
Step 3: Check A₃ = ∅. The empty set has no elements, so the condition 'every element of A₃ is in B' is satisfied vacuously. Since ∅ ≠ B, the empty set is a proper subset of B.
∅⊂B✓\emptyset \subset B \quad \checkmark
Answer: A₁ = {1, 3, 5} and A₃ = ∅ are proper subsets of B. A₂ = {1, 2, 3, 4, 5} is NOT a proper subset of B because it equals B.

Another Example

Problem: How many proper subsets does the set S = {a, b, c} have?
Step 1: A set with n elements has 2ⁿ total subsets (including the set itself and the empty set).
Total subsets=23=8\text{Total subsets} = 2^3 = 8
Step 2: List all 8 subsets: ∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}.
Step 3: Remove the set itself, {a, b, c}, since a proper subset cannot equal the original set. The remaining 7 subsets are all proper subsets.
Proper subsets=2n−1=8−1=7\text{Proper subsets} = 2^n - 1 = 8 - 1 = 7
Answer: The set {a, b, c} has 7 proper subsets. In general, a set with n elements has 2ⁿ − 1 proper subsets.

Frequently Asked Questions

What is the difference between a subset and a proper subset?
A subset of B is any set whose elements all belong to B — and this includes B itself, because every set is a subset of itself. A proper subset adds one extra requirement: it must not equal B. So {1, 2} is both a subset and a proper subset of {1, 2, 3}, but {1, 2, 3} is a subset of {1, 2, 3} without being a proper subset.
Is the empty set a proper subset of every set?
The empty set is a proper subset of every non-empty set. It satisfies the definition because it has no elements that fall outside any set, and it is not equal to any non-empty set. However, the empty set is not a proper subset of itself, because ∅ = ∅.

Subset (⊆) vs. Proper Subset (⊂)

The subset relation (⊆) allows the two sets to be equal: A ⊆ B means every element of A is in B, and A might equal B. The proper subset relation (⊂) forbids equality: A ⊂ B means every element of A is in B and A ≠ B. Think of it like ≤ versus <. The symbol ⊆ is to ≤ as ⊂ is to <.

Why It Matters

The distinction between subset and proper subset shows up throughout mathematics whenever size or strict containment matters. For example, in proofs about set cardinality, Cantor's theorem states that the power set of any set is strictly larger than the set itself — a relationship expressed through proper subsets. In logic and computer science, checking whether one collection is a proper subset of another is a fundamental operation in database queries, algorithm design, and formal verification.

Common Mistakes

Mistake: Thinking a set is a proper subset of itself.
Correction: A set is always a subset (⊆) of itself, but never a proper subset (⊂) of itself. The definition of proper subset explicitly requires A ≠ B.
Mistake: Confusing the symbols ⊂ and ⊆, or assuming they mean the same thing.
Correction: Some textbooks use ⊂ to mean any subset (including equal), while others reserve ⊂ strictly for proper subsets. Always check which convention your course uses. When you need to be unambiguous, use ⊊ for proper subset and ⊆ for subset-or-equal.

Related Terms

  • Subset — Broader relation that allows equality
  • Set — The fundamental object being compared
  • Superset — The reverse relation — B is a superset of A
  • Infinite — Infinite sets have unusual proper-subset properties
  • Empty Set — Proper subset of every non-empty set
  • Power Set — The set of all subsets, including proper ones
  • Venn Diagram — Visual tool for showing subset relationships