V uvodu smo iz množice pozitivnih števil izluščili praštevila.
Množica pozitivnih števil: $\mathcal{A}=\{1, 2, 3, 4, 5, 6, 7\}$
Množica praštevil: $\mathcal{B}=\{2, 3, 5, 7\}$
Množica $\mathcal{B}$ je podmnožica množice $\mathcal{A}$, če je vsak element množice $\mathcal{B}$ tudi element množice $\mathcal{A}$.
Oznaka: $\mathcal{B} \subseteq\mathcal{A}$ (Beri: $\mathcal{B}$ je podmnožica množice $\mathcal{A}$.)
Matematični zapis:
$\mathcal{B} \subseteq\mathcal{A} \Leftrightarrow \forall x: x\in \mathcal{B} \Rightarrow x \in \mathcal{A}$
$\forall \mathcal{A}: \{\} \subseteq \mathcal{A}$
$\forall \mathcal{A}: \mathcal{A} \subseteq \mathcal{A}$