Subset Formula

The Formula

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

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

Quick Example

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

Notation

A \subseteq B means A is a subset of B

What This Formula Means

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

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

Formal View

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\} and B = \{2, 4\}. Determine whether B \subseteq A.

Solution

  1. 1
    Recall the definition: B \subseteq A means every element of B is also an element of A. We check each element of B individually.
  2. 2
    Check 2 \in B: is 2 \in A = \{1,2,3,4,5\}? Yes. Check 4 \in B: is 4 \in A? Yes.
  3. 3
    Since every element of B belongs to A, we conclude B \subseteq A. Note also B \ne A since A has elements (1, 3, 5) not in B, so B is a proper subset: B \subsetneq A.

Answer

B \subseteq A
B is a subset of A if every element of B belongs to A. We verify this by checking membership one element at a time.

Example 2

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

Common Mistakes

  • Thinking \subseteq means 'strictly smaller' — a set is always a subset of itself (A \subseteq A)
  • Denying that \emptyset \subseteq A — the empty set is a subset of every set (vacuously true)
  • Confusing \subseteq with \in — \{1\} \subseteq \{1, 2\} is about sets, 1 \in \{1, 2\} is about elements

Why This Formula Matters

Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.

Frequently Asked Questions

What is the Subset formula?

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

How do you use the Subset formula?

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

What do the symbols mean in the Subset formula?

A \subseteq B means A is a subset of B

Why is the Subset formula important in Math?

Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.

What do students get wrong about Subset?

\emptyset (empty set) is a subset of every set. Every set is a subset of itself.

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