Subset Formula

A set A is a subset of set B — written A B — if every element of A is also in B.

The Formula

A⊆B⇔∀x (x∈A⇒x∈B)A \subseteq B \Leftrightarrow \forall x\,(x \in A \Rightarrow x \in B)

When to use: Every single thing in AA can also be found inside BB. Think of AA as fitting entirely within BB, like a small circle inside a big one.

Quick Example

{1,2}⊆{1,2,3}\{1, 2\} \subseteq \{1, 2, 3\} Also, {1,2,3}⊆{1,2,3}\{1, 2, 3\} \subseteq \{1, 2, 3\} (every set is a subset of itself).

Notation

A⊆BA \subseteq B means AA is a subset of BB

What This Formula Means

Set AA is a subset of set BB if every element of AA is also an element of BB, written A⊆BA \subseteq B.

Every single thing in AA can also be found inside BB. Think of AA as fitting entirely within BB, like a small circle inside a big one.

Formal View

A⊆B⇔∀x (x∈A⇒x∈B)A \subseteq B \Leftrightarrow \forall x\,(x \in A \Rightarrow x \in B)

Worked Examples

Example 1

easy
Let A={1,2,3,4,5}A = \{1, 2, 3, 4, 5\} and B={2,4}B = \{2, 4\}. Determine whether B⊆AB \subseteq A.

Answer

B⊆AB \subseteq A

First step

1
Recall the definition: B⊆AB \subseteq A means every element of BB is also an element of AA. We check each element of BB individually.

Full solution

  1. 2
    Check 2∈B2 \in B: is 2∈A={1,2,3,4,5}2 \in A = \{1,2,3,4,5\}? Yes. Check 4∈B4 \in B: is 4∈A4 \in A? Yes.
  2. 3
    Since every element of BB belongs to AA, we conclude B⊆AB \subseteq A. Note also B≠AB \ne A since AA has elements (1, 3, 5) not in BB, so BB is a proper subset: B⊊AB \subsetneq A.
BB is a subset of AA if every element of BB belongs to AA. We verify this by checking membership one element at a time.

Example 2

medium
List all subsets of S={a,b,c}S = \{a, b, c\}.

Example 3

medium
List all subsets of {1,2}\{1, 2\} that contain 11.

Common Mistakes

  • Declaring A⊆BA \subseteq B after finding just one common element — every element of AA must be in BB.
  • Forgetting ∅⊆A\emptyset \subseteq A for every set — the empty set is a subset of everything, vacuously.
  • Confusing A⊆BA \subseteq B with A∈BA \in B — subset relates two sets; membership relates an object to a set.

Why This Formula Matters

Subset is how mathematicians prove two sets are equal (show each is a subset of the other) and how they define power sets and partial orders. A student who confuses ∈\in with ⊆\subseteq, or forgets that the empty set is a subset of everything, will stumble on proofs and counting subsets. Recognizing it by "Is every single member of the first set also a member of the second?" — rather than by familiar numbers — is what lets a student tell it apart from element (∈\in) and proper subset (⊊\subsetneq) and intersection in a mixed problem set.

Frequently Asked Questions

What is the Subset formula?

Set AA is a subset of set BB if every element of AA is also an element of BB, written A⊆BA \subseteq B.

How do you use the Subset formula?

Every single thing in AA can also be found inside BB. Think of AA as fitting entirely within BB, like a small circle inside a big one.

What do the symbols mean in the Subset formula?

A⊆BA \subseteq B means AA is a subset of BB

Why is the Subset formula important in Math?

Subset is how mathematicians prove two sets are equal (show each is a subset of the other) and how they define power sets and partial orders. A student who confuses ∈\in with ⊆\subseteq, or forgets that the empty set is a subset of everything, will stumble on proofs and counting subsets. Recognizing it by "Is every single member of the first set also a member of the second?" — rather than by familiar numbers — is what lets a student tell it apart from element (∈\in) and proper subset (⊊\subsetneq) and intersection in a mixed problem set.

What do students get wrong about Subset?

The procedure for subset is the easy part; the trap is declaring A⊆BA \subseteq B after finding just one common element. Asking "Is every single member of the first set also a member of the second?" first is what keeps a correct-looking calculation from being attached to the wrong concept.

What should I learn before the Subset formula?

Before studying the Subset formula, you should understand: set, element.

← Back to Subset See All Examples Practice Problems

Related Concepts

SetElement