Proper Subset
Calculus & Advanced MathA proper subset is a subset that is strictly smaller than the original set, meaning it is missing at least one element.
Formula
A \subset B: A \subseteq B \text{ and } A \neq B
Definition
A proper subset is a subset that does not use all the elements of the original set. It is truly "inside" the other set with at least one element left out.
Example
$\{1, 2\} \subset \{1, 2, 3\}$ because $\{1, 2\}$ is a subset and there is an extra element ($3$) in the larger set. But $\{1, 2, 3\}$ is NOT a proper subset of itself.
Key Insight
Every proper subset is a subset, but not every subset is proper. A set is a subset of itself but never a proper subset of itself.
Definition
$A$ is a proper subset of $B$ (written $A \subset B$ or $A \subsetneq B$) if $A \subseteq B$ and $A \neq B$. Equivalently, every element of $A$ is in $B$, and there exists at least one element in $B$ that is not in $A$.
Example
The subsets of $\{a, b\}$ are: $\emptyset$, $\{a\}$, $\{b\}$, $\{a,b\}$. The proper subsets are: $\emptyset$, $\{a\}$, $\{b\}$. The set $\{a,b\}$ is a subset but not a proper subset of itself.
Key Insight
Cantor's theorem: the power set $P(A)$ is always a proper superset of $A$ in cardinality, i.e., $|P(A)| > |A|$. This shows there is no largest infinity.
Definition
$A \subset B$ with $A \neq B$. In the context of infinite sets, a set can be in bijection with a proper subset of itself (Dedekind-infinite sets). For example, $\mathbb{N} \cong \{\text{even numbers}\}$ via $n \mapsto 2n$. This is often used as the definition of an infinite set.
Example
Hilbert's Hotel: a countably infinite hotel can accommodate new guests even when "full" by shifting all current guests, showing the hotel is Dedekind-infinite (bijection with proper subset).
Key Insight
The existence of a bijection between a set and a proper subset characterizes infinite sets in Dedekind's formulation, an alternative to cardinality-based definitions of infinity.