Definition · applies to pairs of sets · also called $\subsetneq$

Elementary

Think of two sets, $A$ and $B$, where everything in $A$ is also in $B$. The set $A$ is a proper subset of $B$ if $B$ has at least one thing that $A$ does not.

High school

Consider two sets $A$ and $B$ such that $A \subset B$. The set $A$ is a proper subset of $B$ if $A \neq B$, so $B$ has at least one element that is not in $A$.

Examples

Examples

  • $\emptyset$ and $\setdef{1, 2}$ Elementary
    $\emptyset$ is a proper subset of $\setdef{1, 2}$ because the empty set is a subset and $\emptyset \neq \setdef{1, 2}$.

Non-examples

Things that may be mistaken for examples.

All definitions · All distinctions · All examples