Subset

Logic
definition

Also known as: contained in

Grade 6-8

View on concept map

Set A is a subset of set B if every element of A is also an element of B, written A \subseteq B. Subset relationships organize mathematical objects into hierarchies and define when one category is contained in another.

Definition

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

๐Ÿ’ก Intuition

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.

๐ŸŽฏ Core Idea

A \subseteq B means: for every x, if x \in A then x \in B. Equivalently, A \cap B = A.

Example

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

Formula

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

Notation

A \subseteq B means A is a subset of B

๐ŸŒŸ Why It Matters

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

๐Ÿ’ญ Hint When Stuck

Try picking each element of A one at a time and checking if it appears in B. If every single one passes, A is a subset of B.

Formal View

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

Related Concepts

๐Ÿšง Common Stuck Point

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

โš ๏ธ 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

Frequently Asked Questions

What is Subset in Math?

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

Why is Subset important?

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

What do students usually 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 Subset?

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

Prerequisites

How Subset Connects to Other Ideas

To understand subset, you should first be comfortable with set and element.

Visualization

Static

Visual representation of Subset